25 сентября на базе Орловского государственного университета им. И.С. Тургенева прошла III Международная конференция «Иванниковские чтения», которую ежегодно организует Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН).
Участники обсудили ряд актуальных научных направлений:
- управление данными;
- информационные системы медицины будущего;
- высокопроизводительные вычисления;
- технологии анализа, верификации и трансформации программ;
- подготовка кадров в области информационных технологий и информационной безопасности и др.
В рамках конференции сотрудники отдела научных исследований ГК Astra Linux выступили с докладом «Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её верификации инструментом проверки моделей ProB». Слушатели узнали о новых результатах в сфере улучшения описания и верификации реализованной в ОССН модели управления доступом (МРОСЛ ДП-модели), а также в части разработки на её основе технологий автоматизированного тестирования ОССН.
«Сотрудничество с академическим и образовательным сообществами, участие в научных мероприятиях, проводимых ИСП РАН, является важной составляющей процесса научного сопровождения обеспечения доверия к ОССН Astra Linux Special Edition в соответствии с требованиями отечественных регуляторов. Развитие технологий применения инструментальных средств обеспечения доверия к программному коду ОССН, а также освоение и совершенствование заложенных в эти средства научных теорий давно стали неотъемлемой частью деятельности нашего предприятия», – отметил главный научный сотрудник ГК Astra Linux Петр Девянин.
