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

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