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