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

Материал из 0x1.tv

Докладчик
Алексей Васин.jpg
Алексей Васин

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

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

Видео

on youtube


Thesis

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

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

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

См. далее → https://osday.ru/downloads/Vasin.pdf

Презентация

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

Примечания и ссылки