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