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

;{{SpeakerInfo}}: {{Speaker|Алексей Васин}}
<blockquote>
Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа. 

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

{{VideoSection}}

{{vimeoembed|982140546|800|450}}
<!-- {{youtubelink|}} -->

== Thesis ==