Виктор Кулямин, ведущий научный сотрудник ИСП РАН.
Содокладчики: Петр Девянин, Денис Медведев
Кратко рассматривается состав, структур и анализ возможностей верификации средств защиты информации в защищённых ОС на основе пакета SELinux, AstraLinux и других известных подходов. В частности, приводятся классы объектов и субъектов и контролируемые операции, основные возможности языка описания конфигураций защиты, представляется общая архитектура SELinux.
