Щепетков Илья Викторович

Публикации в базе данных Math-Net.Ru

1. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
2. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
3. Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
   
   Труды ИСП РАН, 32:1 (2020),  7–26
4. ADV_SPM — Формальные модели политики безопасности на практике
   
   Труды ИСП РАН, 29:3 (2017),  43–56