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