|
Прикладная дискретная математика. Приложение, 2013, выпуск 6, страницы 58–59
(Mi pdma82)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Математические основы компьютерной безопасности и надёжности вычислительных и управляющих систем
Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства Linux
П. Н. Девянин УМС УМО по Информационной безопасности, г. Москва
Аннотация:
Рассматриваются де-юре и де-факто правила преобразования состояний системы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в операционных системах (ОС) семейства {Linux} и формулируется утверждение об их корректности относительно заданных в рамках модели требований к реализации мандатного контроля целостности, мандатного и ролевого управления доступом.
Ключевые слова:
компьютерная безопасность, формальная модель, управление доступом.
Образец цитирования:
П. Н. Девянин, “Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства Linux”, ПДМ. Приложение, 2013, № 6, 58–59
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma82 https://www.mathnet.ru/rus/pdma/y2013/i6/p58
|
|