17 декабря: Формальная верификация модуля безопасности ядра Linux

Денис Ефремов

Денис Ефремов

Денис Валентинович Ефремов — сотрудник ИСП РАН. Закончил факультет ВМК МГУ имени М.В. Ломоносова в 2011 году. Работал над проектами ИСП РАН по созданию защищённого гипервизора, проектами по созданию инструментов статической и динамической верификации. Ведёт семинары и практические занятия на факультете ВМК по разработке ядра учебной операционной системы. В настоящий момент работает над проектом по верификации модуля ядра операционной системы.

В ходе доклада будут затронуты темы формальной верификации математической модели системы безопасности, верификации её реализации в виде модуля безопасности ядра Linux и вопросы проверки соответствия модели и реализации. Будут представлены текущие результаты работы над проектом по формальной верификации модуля безопасности Parsec операционной системы специального назначения Astra Linux, который создан по мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками. Доклад нацелен на освещение практических аспектов проекта.

Послушать доклад можно будет 17 декабря в 18:00 на факультете ВМК МГУ.

Вы можете присылать свои вопросы как до доклада, так и во время него, по электронной почте sdat@ispras.ru или в твиттер для @sdat_seminar. Но лучше всего прийти к нам на семинар лично в МГУ. На входе в МГУ действует пропускная система, поэтому для оформления пропуска заранее пришлите, пожалуйста, свою фамилию, имя и отчество на sdat@ispras.ru (не забудьте взять с собой паспорт).

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>