Стандарты на формальные модели управления доступом, разработанные в ГК Astra Linux, утверждены в качестве ГОСТов.Энергетика и промышленность России
Теперь СЗИ для значимых объектов критической информационной инфраструктуры (КИИ) и информационных систем, обрабатывающих данные ограниченного доступа, теперь должны разрабатываться с применением данных ГОСТов.Энергетика и промышленность России
Стандарт Р 59453.1-2021 устанавливает критерии, которым должна соответствовать формальная модель управления доступом, описанная на математическом или формализованном (машиночитаемом) языке.Энергетика и промышленность России
Кроме того, в документе можно найти определения тех ключевых терминов, что используют разработчики средств защиты информации: политик дискреционного, мандатного и ролевого управления доступом, а также мандатного контроля целостности.Энергетика и промышленность России