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