Самый лучший вариант пригласить Петра Николаевича
На рускрипто 2017 он будет выступать:
1. О проблеме представления формальной модели политики безопасности операционных систем.
Девянин Петр Николаевич, д.т.н., доцент, председатель учебно-методического совета (УМС), ФУМО ВО ИБ
5. ADV_SPM — Формальные модели политики безопасности на практике.
Хорошилов Алексей Владимирович, к.ф.-м.н., ВМК МГУ