 |
ГОСТ Р 59453.4-2025
|
|
Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом
|
|
|
|
Библиография
| Обозначение ГОСТ |
ГОСТ Р 59453.4-2025 |
| Наименование на русском языке |
Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом |
| Наименование на английском языке |
Information protection. Formal access control model. Part 4. Recommendations for verification of information security features that implement access control policies based on formal descriptions of the access control model |
| Дата введения в действие |
31.03.2025 |
| Код ОКС |
35.030 |
| Количество страниц |
20 |
| Статус |
Действует |
|
|
|
| |