Постоянная ссылка
https://www.standards.ru/document/6849826.aspx

ГОСТ Р 59453.2-2021

Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом

На русском языкеПоложить в корзину
Заказать перевод

Библиография

ОбозначениеГОСТ Р 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
На территории РФ пользоваться
Отменен в части

Стандарт ГОСТ Р 59453.2-2021 входит в рубрики классификатора: