ГОСТ Р 59453.4-2025
Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом
Статус: Действует Дата введения в действие: 31.03.2025
| Обозначение | ГОСТ Р 59453.4-2025 |
|---|---|
| Полное обозначение | ГОСТ Р 59453.4-2025 |
| Заглавие на русском языке | Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом |
| Заглавие на английском языке | Information protection. Formal access control model. Part 4. Recommendations for verification of information security features that implement access control policies based on formal descriptions of the access control model |
| Дата введения в действие | 31.03.2025 |
| ОКС | 35.030 |
| Аннотация (область применения) | Настоящий стандарт устанавливает рекомендации по верификации средств защиты информации, реализующих политики управления доступом, на основе формализованного описания модели управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом |
| Ключевые слова | защита информации, формальная модель управления доступом, средство защиты информации, политика управления доступом, верификация модулей средства защиты информации |
| Термины и определения | Раздел стандарта |
| Вид стандарта | Стандарты на процессы |
| Нормативные ссылки на: ГОСТ | ГОСТ Р 59453.1; ГОСТ Р 59453.2; ГОСТ Р 59453.3; |
| Управление Ростехрегулирования | 1 - Управление стандартизации |
| Технический комитет России | 362 - Защита информации |
| Дата последнего издания | 12.03.2025 |
| Количество страниц (оригинала) | 20 |
| Организация - Разработчик | Федеральная служба по техническому и экспортному контролю (ФСТЭК России), Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН), Общество с ограниченной ответственностью «РусБИТех-Астра» (ООО «РусБИТех-Астра»), Федеральное автономное учреждение «Государственный научно-исследовательский испытательный институт проблем технической защиты информации Федеральной службы по техническому и экспортному контролю» (ФАУ «ГНИИИ ПТЗИ ФСТЭК России») |
| Статус | Действует |
| Код цены | 3 |
| Номер ТК за которым закреплен документ | 362 |
| Номер приказа о закреплении документа за ТК | 112-ст |
| Дата приказа о закреплении документа за ТК | 10.03.2025 |