ГОСТ Р 59453.4-2025 Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом
ГОСТ Р
Скачать ГОСТ в PDF или DOC бесплатно
Основная информация
Обозначение:
ГОСТ Р 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
Даты и сроки
Дата издания:
03-12-25
Дата введения в действие:
03-31-25
Дата завершения срока действия:
-
Применение и описание
Область и условия применения:
Настоящий стандарт устанавливает рекомендации по верификации средств защиты информации, реализующих политики управления доступом, на основе формализованного описания модели управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом
Связи и замены
Заменяющий:
-
Описание стандарта
ГОСТ Р 59453.4-2025 Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом
Страницы стандарта
