ГОСТ Р 59453.2-2021
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Information protection. Formal access control model. Part 2. Recommendations on verification of formal access control model
Основные сведения
ГОСТ Р 59453.2-2021
ГОСТ Р 59453.2-2021
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Регистрация в фонде
271-ст
22.04.2021
01.06.2021
-
Поисковые образы
35.030
защита информации, формальная модель управления доступом, верификация формальной модели управления доступом, средство защиты информации, инструментальное средство верификации формальной модели управления доступом
Настоящий стандарт представляет собой рекомендации по верификации с применением инструментальных средств формальных моделей управления доступом, на основе которых разрабатываются средства защиты информации, реализующие политики управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом
Ссылочные данные
-
-
-
-
-
-
Сведения о разработчике
362 - Защита информации
Федеральная служба по техническому и экспортному контролю (ФСТЭК России), Общество с ограниченной ответственностью «РусБИТех-Астра» (ООО «РусБИТех-Астра»), Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН)
Сведения о регистрации в МГС
-
-