Аннотация:
В рамках иерархического представления мандатной сущностно-ролевой ДП-модели, являющейся научной основой при реализации механизма управления доступом в отечественной защищённой операционной системе специального назначения Astra Linux Special Edition, строится новый уровень – “боковая ветвь” для уже существующих четырёх иерархически упорядоченных уровней. Он развивает уровень мандатного контроля целостности (второй уровень) модели и использует вместо элементарной решётки, состоящей всего из двух уровней целостности – высокого (системного) и низкого (пользовательского), невырожденную решетку целостности, включающую произвольное множество уровней. Новый уровень ориентирован на моделирование мандатного контроля целостности при использовании технологий виртуализации или в рамках сетевой доменной архитектуры.
Ключевые слова:компьютерная безопасность, формальная модель, мандатный контроль целостности.