Оладько В.С. Формализация процедуры аудита подсистемы управления доступом в информационной системе. — Текст: электронный // Моделирование, оптимизация и информационные технологии. – 2019. – № 3.-URL: http://moit.vivt.ru/ (дата обращения: 20.03.2020) — <URL:http://elib.fa.ru/art2019/bv3549.pdf>.