RUS  ENG
Полная версия
ЖУРНАЛЫ // Прикладная дискретная математика. Приложение // Архив

ПДМ. Приложение, 2017, выпуск 10, страницы 111–114 (Mi pdma320)

Эта публикация цитируется в 2 статьях

Математические основы компьютерной безопасности

Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели

П. Н. Девянин

УМС ФУМО ВО ИБ, г. Москва

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

Ключевые слова: компьютерная безопасность, формальная модель, мандатный контроль целостности.

УДК: 004.94

DOI: 10.17223/2226308X/10/44



© МИАН, 2024