Источник публикации
М.: ФГБУ "Институт стандартизации", 2025
Примечание к документу
Документ
введен в действие с 31.03.2025.
Название документа
"ГОСТ Р 59453.4-2025. Национальный стандарт Российской Федерации. Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом"
(утв. и введен в действие Приказом Росстандарта от 10.03.2025 N 112-ст)