ГОСТ Р 59453.2-2021 Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
ГОСТ Р
Скачать ГОСТ в PDF или DOC бесплатно
Основная информация
Обозначение:
ГОСТ Р 59453.2-2021
Статус:
Действует
Тип:
ГОСТ Р
Название русское:
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Название английское:
Information protection. Formal access control model. Part 2. Recommendations on verification of formal access control model
Даты и сроки
Дата издания:
04-28-21
Дата введения в действие:
06-01-21
Применение и описание
Область и условия применения:
Настоящий стандарт представляет собой рекомендации по верификации с применением инструментальных средств формальных моделей управления доступом, на основе которых разрабатываются средства защиты информации, реализующие политики управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом
Описание стандарта
ГОСТ Р 59453.2-2021 Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Страницы стандарта
