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