Скачать ГОСТ Р 59453.4-2025 Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом

Дата актуализации: 01.06.2025

ГОСТ Р 59453.4-2025

Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом

Обозначение:	ГОСТ Р 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
Дата актуализации текста:	01.06.2025
Дата актуализации описания:	01.06.2025
Дата издания:	12.03.2025
Дата введения:	31.03.2025
Нормативные ссылки:	ГОСТ Р 59453.1;ГОСТ Р 59453.2;ГОСТ Р 59453.3
Область применения:	Настоящий стандарт устанавливает рекомендации по верификации средств защиты информации, реализующих политики управления доступом, на основе формализованного описания модели управления доступом. Настоящий стандарт предназначен для разработчиков средств защиты информации, реализующих политики управления доступом, а также для органов по сертификации и испытательных лабораторий при проведении сертификации средств защиты информации, реализующих политики управления доступом
Расположен в:	Государственные стандарты