ГОСТ Р 59453.2-2021
Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
Статус: Действует Дата введения в действие: 01.06.2021
Обозначение | ГОСТ Р 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 |
Аннотация (область применения) | Настоящий стандарт представляет собой рекомендации по верификации с применением инструментальных средств формальных моделей управления доступом, на основе которых разрабатываются средства защиты информации, реализующие политики управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом |
Ключевые слова | защита информации, формальная модель управления доступом, верификация формальной модели управления доступом, средство защиты информации, инструментальное средство верификации формальной модели управления доступом |
Термины и определения | Раздел стандарта |
Вид стандарта | Стандарты на продукцию (услуги) |
Нормативные ссылки на: ГОСТ | ГОСТ Р 59453.1-2021; |
Управление Ростехрегулирования | 1 - Управление технического регулирования и стандартизации |
Технический комитет России | 362 - Защита информации |
Дата последнего издания | 28.04.2021 |
Количество страниц (оригинала) | 12 |
Организация - Разработчик | Федеральная служба по техническому и экспортному контролю (ФСТЭК России), Общество с ограниченной ответственностью «РусБИТех-Астра» (ООО «РусБИТех-Астра»), Институт системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) |
Статус | Действует |
Код цены | 2 |
Номер ТК за которым закреплен документ | 362 |
Номер приказа о закреплении документа за ТК | 3376 |
Дата приказа о закреплении документа за ТК | 30.12.2022 |