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

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

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

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

== Thesis ==
*НТП «Криптософт» около 20 лет занимается разработкой защищённой операционной
системы QP ОС. QP ОС является многопользовательской операционной системой. В
состав QP ОС входит подсистема безопасности, призванная обеспечить защищенность
информации и ресурсов системы от действия объективных и субъективных, внешних и
внутренних, случайных и преднамеренных угроз.

В соответствии с требованиями ФСТЭК одним из этапов сертификации является построение формальной модели управления доступом. Разработка формальной модели
управления доступом позволяет повысить доверие к OC, а также обеспечить надежное и
корректное функционирование средств защиты информации.

В соответствии с реализованными в ОС средствами контроля доступа,
разрабатываемая модель состоит из трех частей: дискреционный контроль доступа,
мандатный контроль доступа и ролевое управление доступом.

См. далее → 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]]