Проект ГОСТ Р Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом | |
|---|---|
| Cтатус: | Проект - Публичное обсуждение |
| Утвержден: | , |
| Изображение документа: | Сканкопия официального издания документа |
ГОСТ Р 51904-2002 Программное обеспечение встроенных систем. Общие требования к разработке и документированию ГОСТ Р 53113.1-2008 Информационная технология. Защита информационных технологий и автоматизированных систем от угроз информационной безопасности, реализуемых с использованием скрытых каналов. Часть 1. Общие положения
ГОСТ Р 59453.1-2021 Защита информации. Формальная модель управления доступом. Часть 1. Общие положения ГОСТ Р 59453.2-2021 Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
ОК 001-2021 Общероссийский классификатор стандартов
Федеральный закон 162-ФЗ О стандартизации в Российской Федерации