РАГС - РОССИЙСКИЙ АРХИВ ГОСУДАРСТВЕННЫХ СТАНДАРТОВ, а также строительных норм и правил (СНиП)
и образцов юридических документов
Произвольная ссылка:
ГОСТ Р 59453.2-2021
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Обозначение:
ГОСТ Р 59453.2-2021
Статус:
действующий
Тип:
ГОСТ Р
Название русское:
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Название английское:
Information protection. Formal access control model. Part 2. Recommendations on verification of formal access control model
Дата актуализации текста:
01.06.2021
Дата актуализации описания:
01.01.2022
Дата регистрации:
00.00.0000
Дата издания:
28.04.2021
Дата введения в действие:
01.06.2021
Область и условия применения:
Настоящий стандарт представляет собой рекомендации по верификации с применением инструментальных средств формальных моделей управления доступом, на основе которых разрабатываются средства защиты информации, реализующие политики управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом
