О построении формальной модели управления доступом QP ОС (Алексей Васин, OSDAY-2024) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (→Thesis) |
StasFomin (обсуждение | вклад) |
||
;{{SpeakerInfo}}: {{Speaker|Алексей Васин}} <blockquote> Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа. Описанная модель реализована с использованием системы Rodin. </blockquote> {{VideoSection}} {{vimeoembed|982140546|800|450}} <!-- {{youtubelink|}} --> == Thesis == |
Версия 19:15, 10 июля 2024
- Докладчик
- Алексей Васин
Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа.
Описанная модель реализована с использованием системы Rodin.
Содержание
Видео
Thesis
Презентация
Примечания и ссылки