ГОСТ Р 59453.3-2025

Обозначение

ГОСТ Р 59453.3-2025

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

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

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

Information protection. Formal access control model. Part 3. Recommendations on development

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

31.03.2025

ОКС

35.030

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

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

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

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

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

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

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

2 - Стандарты на процессы

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

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

1 - Управление стандартизации

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

20

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

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

Статус

Действует

Код цены

3