| ГОСТ Р 59453.4-2025 Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом | |
|---|---|
| Cтатус: | Информация о статусе доступна в коммерческой версии NormaCS |
| Утвержден: | Росстандарт; Федеральное агентство по техническому регулированию и метрологии, 10.03.2025 |
| Текст и изображение документа: | Word PDF Сканкопия официального издания документа |
ГОСТ Р 59453.1-2021 Защита информации. Формальная модель управления доступом. Часть 1. Общие положения ГОСТ Р 59453.2-2021 Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом ГОСТ Р 59453.3-2025 Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке
Приказ 112-ст Об утверждении национального стандарта Российской Федерации Федеральный закон 162-ФЗ О стандартизации в Российской Федерации
