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