Леонова Мария

Закончила с отличием МИРЭА - Российский технологический университет по специальности «Информационная безопасность телекоммуникационных систем», после чего пришла на работу в отдел научных исследований ГК Astra Linux. Является специалистом по дедуктивной верификации формальных моделей управления доступом.

Тема: «Верификация формальной модели управления доступом ОС Astra Linux Special Edition».
Аннотация к докладу
Доклад посвящён одному из направлений обеспечения доверия к ОС Astra Linux Special Edition, заключающемуся в применении и развитии научных подходов и технологий описания и верификации модели управления доступом ОС, представленной в формализованной нотации метода Event-B, с применением инструментального средства дедуктивной верификации Rodin и инструментального средства проверки моделей ProB.