ГОСТ Р 59453.4-2025

ГОСТ Р 59453.4-2025

ГОСТ Р 59453.4-2025

Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом

112-ст

10.03.2025

31.03.2025

-

35.030

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

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

-

-

-

-

-

-

362 - Защита информации

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

-

-