|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Математические основы компьютерной безопасности
О результатах формирования иерархического представления МРОСЛ ДП-модели
П. Н. Девянин УМС ФУМО ВО ИБ, г. Москва
Аннотация:
“Монолитное” представление мандатной сущностно-ролевой ДП-модели, являющееся основой механизма управления доступом в отечественной защищённой операционной системе специального назначения (ОССН) Astra Linux Special Edition, ввиду своего значительного объёма и сложности стало неудобно как для научного анализа, верификации и дальнейшего развития самой модели, так и для непосредственного применения в ОССН. По этой причине предлагается полностью переработанное иерархическое представление модели, описывающее её по уровням. В текущем таком представлении заданы четыре иерархически упорядоченных уровня, соответствующих: 1) ролевому управлению доступом; 2) мандатному контролю целостности; 3) мандатному управлению доступом с информационными потоками по памяти и 4) по времени. В дальнейшем возможно добавление новых, в том числе “боковых” уровней, например 3') для модели гипервизора.
Ключевые слова:
компьютерная безопасность, формальная модель, иерархическое представление, Linux.
Образец цитирования:
П. Н. Девянин, “О результатах формирования иерархического представления МРОСЛ ДП-модели”, ПДМ. Приложение, 2016, № 9, 83–87
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma265 https://www.mathnet.ru/rus/pdma/y2016/i9/p83
|
Статистика просмотров: |
Страница аннотации: | 332 | PDF полного текста: | 136 | Список литературы: | 39 |
|