28.03.2024 ФСТЭК России опубликован проект национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом»
Проект Стандарта содержит рекомендации по верификации средств защиты информации, реализующих политики управления доступом, на основе формализованных описаний модели управления доступом. Сбор замечаний и предложений к проекту Стандарта проводится до 15.04.2024 по линии ТК №362