О построении формальной модели управления доступом QP ОС (Алексей Васин, OSDAY-2024)

Ссылки сюда (1) →

Короткая ссылка: 20240620J

Докладчик

Алексей Васин

Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа.

Описанная модель реализована с использованием системы Rodin.

Thesis

• https://osday.ru/downloads/Vasin.pdf

Презентация