О построении формальной модели управления доступом QP ОС (Алексей Васин, OSDAY-2024) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (→Thesis) |
||
;{{SpeakerInfo}}: {{Speaker|Алексей Васин}}
<blockquote>
Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа.
Описанная модель реализована с использованием системы Rodin.
</blockquote>
{{VideoSection}}
{{vimeoembed||800|450}}
<!-- {{youtubelink|}} -->
== Thesis ==
* https://osday.ru/downloads/Vasin.pdf
{{SlidesSection}}
[[File:О построении формальной модели управления доступом QP ОС (Алексей Васин, OSDAY-2024).pdf|left|page=-|300px]]
{{----}}
[[File:{{#setmainimage:О построении формальной модели управления доступом QP ОС (Алексей Васин, OSDAY-2024)!.jpg}}|center|640px]]
{{LinksSection}}
*
<!-- <blockquote>[©]</blockquote> -->
<references/>
<!-- topub -->
[[Категория:OSDAY-2024]]
[[Категория:Draft]] |
Версия 16:16, 27 июня 2024
- Докладчик
- Алексей Васин
Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа.
Описанная модель реализована с использованием системы Rodin.
Содержание
Видео
Thesis
Презентация
Примечания и ссылки