Учебно-методические и научные публикации

Безопасность операционной системы специального назначения Astra Linux Special Edition.
Модели безопасности компьютерных систем. Управление доступом и информационными потоками.
Formal Verification of OS Security Model with Alloy and Event-B
Моделирование и верификация политик безопасности управления доступом в операционных системах.
Русский бронированный Debian. Как устроена новая модель управления доступом в Astra Linux SE
Основные элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в СУБД PostgreSQL ОС специального назначения Astra Linux Special Edition
Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux
О представлении МРОСЛ ДП-модели в формализованной нотации Event-B
Защита графических подсистем рабочих станций Linux на основе виртуализации и мандатного контроля целостности
Using Refinement in Formal Development of OS Security Model
Правила преобразования состояний системы в рамках ДП-модели управления доступом в компьютерных сетях, построенных на основе ОС семейства Linux
О результатах формирования иерархического представления МРОСЛ ДП-модели
Сравнение способов декомпозиции спецификаций на Event-B
О проблеме представления формальной модели политики безопасности операционных систем
Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели
Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели
Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели