О построении формальной модели управления доступом QP ОС (Алексей Васин, OSDAY-2024) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (→Thesis) |
StasFomin (обсуждение | вклад) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
;{{SpeakerInfo}}: {{Speaker|Алексей Васин}} <blockquote> Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа. Описанная модель реализована с использованием системы Rodin. </blockquote> {{VideoSection}} {{vimeoembed|982140546|800|450}} <!-- {{youtubelink|}} -->|o3B_nfM5hnM}} == 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]] |
Текущая версия на 07:58, 3 августа 2024
- Докладчик
- Алексей Васин
Предложена формальная модель механизма контроля доступа операционной системы QP ОС позволяет проводить исследование механизма безопасности с целью подтверждения корректности применяемых подходов к разграничению доступа.
Описанная модель реализована с использованием системы Rodin.
Содержание
Видео
Thesis
НТП «Криптософт» около 20 лет занимается разработкой защищённой операционной системы QP ОС. QP ОС является многопользовательской операционной системой. В состав QP ОС входит подсистема безопасности, призванная обеспечить защищенность информации и ресурсов системы от действия объективных и субъективных, внешних и внутренних, случайных и преднамеренных угроз.
В соответствии с требованиями ФСТЭК одним из этапов сертификации является построение формальной модели управления доступом. Разработка формальной модели управления доступом позволяет повысить доверие к OC, а также обеспечить надежное и корректное функционирование средств защиты информации.
В соответствии с реализованными в ОС средствами контроля доступа, разрабатываемая модель состоит из трех частей: дискреционный контроль доступа, мандатный контроль доступа и ролевое управление доступом.
См. далее → https://osday.ru/downloads/Vasin.pdf
Презентация
Примечания и ссылки