ГОСТ Р 59453.2-2021

Обозначение

ГОСТ Р 59453.2-2021

Заглавие на русском языке

Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом

Заглавие на английском языке

Information protection. Formal access control model. Part 2. Recommendations on verification of formal access control model

Дата введения в действие

01.06.2021

ОКС

35.030

Аннотация (область применения)

Настоящий стандарт представляет собой рекомендации по верификации с применением инструментальных средств формальных моделей управления доступом, на основе которых разрабатываются средства защиты информации, реализующие политики управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом

Ключевые слова

защита информации, формальная модель управления доступом, верификация формальной модели управления доступом, средство защиты информации, инструментальное средство верификации формальной модели управления доступом

Термины и определения

Раздел стандарта

Вид стандарта

3 - Стандарты на продукцию (услуги)

Нормативные ссылки на: ГОСТ

Управление Ростехрегулирования

1 - Управление технического регулирования и стандартизации

Количество страниц (оригинала)

12

Организация - Разработчик

Федеральная служба по техническому и экспортному контролю (ФСТЭК России), Общество с ограниченной ответственностью «РусБИТех-Астра» (ООО «РусБИТех-Астра»), Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН)

Статус

Действует

Код цены

2