Росстандарт утвердил новый ГОСТ Р 59453.3-2025 «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке». Основным разработчиком документа выступила «Группа Астра». Новый стандарт призван облегчить работу специалистов, создающих формальные модели управления доступом для сертифицированных средств защиты информации (СЗИ). ✔ Стандарт содержит четкие рекомендации по разработке формальных моделей управления доступом, которые необходимы для соответствия требованиям регуляторов и обеспечения высокого уровня безопасности. ✔ Эксперты «Группы Астра» подробно описали этапы создания моделей, включая состояния, переходы и доказательства соответствия требованиям безопасности. ✔ В стандарте представлены практические приемы и технологии, необходимые для успешной реализации рекомендаций. Подробнее https://vk.cc/cKDhBV