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

ПДМ. Приложение, 2016, выпуск 9, страницы 83–87 (Mi pdma265)

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

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

О результатах формирования иерархического представления МРОСЛ ДП-модели

П. Н. Девянин

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

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

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

УДК: 004.94

DOI: 10.17223/2226308X/9/32



© МИАН, 2024