Девянин Петр

Главный научный сотрудник ГК Astra Linux «Научное сопровождение обеспечения доверия к ОССН Astra Linux Special Edition», член-корреспондент Академии криптографии Российской Федерации, доктор технических наук, профессор. Специалист по теории компьютерной безопасности, в особенности по разработке формальных моделей безопасности управления доступом и информационными потоками. На протяжении нескольких лет занимается научным сопровождением разработки отечественной защищенной операционной системы специального назначения Astra Linux Special Edition.

Тема: «Научное сопровождение обеспечения доверия к ОС Astra Linux Special Edition»
Аннотация к докладу
Рассматриваются основные направления научного сопровождения обеспечения доверия к ОС Astra Linux Special Edition в соответствии требованиями актуальных нормативных документов ФСТЭК, Минобороны и ФСБ России, в том числе опыт применения для этого инструментальных средств верификации формальной модели управления доступом, ее реализации механизмами защиты ОС, статического и динамического анализа программного кода ОС. Также анализируются технологии аналитической обработки результатов, полученных от этих инструментальных средств, с целью их эффективного использования в процессе непрерывной разработки и обеспечения доверия к ОС.