ГОСТ Р 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 |