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