Название на английском:
GOST R 59453.2-2021
Название на русском:
ГОСТ Р 59453.2-2021
Описание на русском:
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом