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