ГОСТ Р 59453.2-2021 Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Тип и номер: ГОСТ Р 59453.2-2021
Наименование: Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Статус: Информация о статусе доступна в коммерческой версии NormaCS
Утвержден: Росстандарт; Федеральное агентство по техническому регулированию и метрологии, 22.04.2021