Спикер: Девянин Петр Николаевич, член-корреспондент Академии криптографии России, доктор технических наук, профессор, научный руководитель ООО «РусБИТех-Астра» (ГК Astra Linux)

Планируется рассмотреть и обсудить основные технологии безопасной разработки и обеспечения доверия к сертифицированной  операционной системе специального назначения (ОССН) Astra Linux Special Edition, направленные на выполнение ГОСТ Р 56939-2016 «Разработка безопасного программного обеспечения», ГОСТ 59453.1,2-2021 «Формальная модель управления доступом» и нормативных документов ФСТЭК России (требования доверия, методика выявления уязвимостей и недекларированных возможностей в программном обеспечении). При этом особо уделить внимание научным подходам, технологиям и реализующим их инструментальным средствам: формирования в математической и формализованной нотациях модели управления доступом ОССН (МРОСЛ ДП-модели), ее верификации, в том числе при ее реализации в программном коде; статического и динамического анализа программного кода ОССН; сбора и анализа выявленных инструментальными средствами ошибок в программного коде ОССН и результатов их устранения.