|
Прикладная дискретная математика, 2012, номер 1(15), страницы 69–90
(Mi pdm356)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Математические основы компьютерной безопасности
Ролевая ДП-модель управления доступом и информационными потоками в операционных системах семейства Linux
П. Н. Девянин Институт криптографии, связи и информатики, г. Москва, Россия
Аннотация:
Базовая ролевая ДП-модель управления доступом и информационными потоками в операционных системах (БРОС ДП-модель) достраивается до ролевой ДП-модели управления доступом и информационными потоками в операционных системах (ОС) семейства Linux (РОСЛ ДП-модели). Описываются ее новые элементы: имена сущностей, мандатные атрибуты целостности сущностей-контейнеров, функция де-факто владения. Основное отличие модели – четкое разделение де-юре правил преобразования состояний (требующих реализации в ОС) и де-факто правил (используемых только для анализа условий нарушения безопасности системы). Рассматриваются ограничения, инвариантные относительно немонотонных правил преобразования состояний. С учетом внесенных изменений обосновывается утверждение о возможности использования только монотонных правил преобразования состояний для анализа условий передачи прав доступа ролей, получения доступов или реализации информационных потоков.
Ключевые слова:
компьютерная безопасность, ролевая ДП-модель, операционная система Linux.
Образец цитирования:
П. Н. Девянин, “Ролевая ДП-модель управления доступом и информационными потоками в операционных системах семейства Linux”, ПДМ, 2012, № 1(15), 69–90
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm356 https://www.mathnet.ru/rus/pdm/y2012/i1/p69
|
Статистика просмотров: |
Страница аннотации: | 1417 | PDF полного текста: | 477 | Список литературы: | 76 | Первая страница: | 1 |
|