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

Безопасность операционной системы специального назначения Astra Linux Special Edition.

Модели безопасности компьютерных систем. Управление доступом и информационными потоками. 3-е изд.

Formal Verification of OS Security Model with Alloy and Event-B

Моделирование и верификация политик безопасности управления доступом в операционных системах.

Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели

Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы

О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL

Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели

Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели

О проблеме представления формальной модели политики безопасности операционных систем

Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели

Using Refinement in Formal Development of OS Security Model

Правила преобразования состояний системы в рамках ДП-модели управления доступом в компьютерных сетях, построенных на основе ОС семейства Linux

О результатах формирования иерархического представления МРОСЛ ДП-модели

Сравнение способов декомпозиции спецификаций на Event-B

Русский бронированный Debian. Как устроена новая модель управления доступом в Astra Linux SE

О представлении МРОСЛ ДП-модели в формализованной нотации Event-B

Защита графических подсистем рабочих станций Linux на основе виртуализации и мандатного контроля целостности

Основные элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в СУБД PostgreSQL ОС специального назначения Astra Linux Special Edition

Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux