Рассматриваются де-юре и де-факто правила преобразования состояний системы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в операционных системах (ОС) семейства Linux и формулируется утверждение об их корректности относительно заданных в рамках модели требований к реализации мандатного контроля целостности, мандатного и ролевого управления доступом.
Скачать электронную версию публикации
Загружен, раз: 293
- Title Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства Linux
- Headline Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства Linux
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 6 (Приложение)
- Date:
- DOI
Ключевые слова
компьютерная безопасность, формальная модель, управление доступом, computer security, formal model, access controlАвторы
Ссылки
Операционные системы Astra Linux // http://www.astra-linux.ru/.
Девянин П. Н. О разработке мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в операционных системах семейства Linux // Методы и технические средства обеспечения безопасности информации: Материалы 21-й науч.-технич. конф
Девянин П. Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками: учеб. пособие для вузов. 2-е изд., испр. и доп. М.: Горячая линия-Телеком, 2013. 338 с.
Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства Linux | Прикладная дискретная математика. 2013. № 6 (Приложение).
Скачать полнотекстовую версию
Полнотекстовая версияЗагружен, раз: 1887