Обозначение: | ГОСТ Р 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 |
Дата издания: | 28.04.2021 |
Дата введения: | 01.06.2021 |
Нормативные ссылки: | ГОСТ Р 59453.1-2021 |
Область применения: | Настоящий стандарт представляет собой рекомендации по верификации с применением инструментальных средств формальных моделей управления доступом, на основе которых разрабатываются средства защиты информации, реализующие политики управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом |
|
Расположен в: |
|