ГОСТ Р 59453.2-2021
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Введён в действие:
Источник: files.stroyinf.ru
Ссылка ведёт на документ, размещённый на стороннем ресурсе. Администрация сайта не несёт ответственности за содержание, актуальность и доступность документа на внешнем ресурсе. Переход и скачивание осуществляются на ваше усмотрение и риск.
Область применения и описание
Настоящий стандарт представляет собой рекомендации по верификации с применением инструментальных средств формальных моделей управления доступом, на основе которых разрабатываются средства защиты информации, реализующие политики управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом
Основные сведения
- Наименование на английском языке
- Information protection. Formal access control model. Part 2. Recommendations on verification of formal access control model
- Дата издания
- 01.06.2021
Классификация ОКС
- 35.030 Безопасность ИТ