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