О построении формальной модели управления доступом QP ОС (Алексей Васин, OSDAY-2024)
Материал из 0x1.tv
Короткая ссылка: 20240620J
- Докладчик
- Алексей Васин
Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа.
Описанная модель реализована с использованием системы Rodin.
Содержание
Видео
Thesis
Презентация
Примечания и ссылки