В NormaCS добавлен ГОСТ Р 59453.4-2025 Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом

Утвержден: Росстандарт; Федеральное агентство по техническому регулированию и метрологии, 10.03.2025