ГлавнаяАрхивПравила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах

Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах | Прикладная дискретная математика. 2011. № 1(11).

Рассматривается базовая ролевая ДП-модель управления доступом и информационными потоками в операционных системах, в которую по сравнению с базовой ролевой ДП-моделью включены учетные записи пользователей, сущности, параметрически ассоциированные с субъект-сессиями или ролями, мандатный контроль целостности, фактические доступы субъект-сессий. Основное внимание уделено изменениям в условиях и результатах применения правил преобразования состояний. Обосновывается утверждение о возможности использования только монотонных правил преобразования состояний для анализа условий передачи прав доступа ролей, получения доступов или реализации информационных потоков.
  • Title Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах
  • Headline Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 1(11)
  • Date:
  • DOI
Ключевые слова
operating system, computer security, role DP-model, операционная система, ролевая ДП-модель, компьютерная безопасность
Авторы
Ссылки
Буренин П. В. Подходы к построению ДП-модели файловых систем // Прикладная дискретная математика. 2009. №1(3). С. 93-112.
Колегов Д. Н. ДП-модель компьютерной системы с функционально и параметрически ассоциированными с субъектами сущностями // Вестник Сибирского государственного аэрокосмического университета им. акад. М. Ф. Решетнева. 2009. Вып. 1(22). Ч. 1. С. 49-54.
Девянин П. Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками. Учеб. пособие для вузов. М.: Горячая линия-Телеком, 2011. 320 с.
Девянин П. Н. Анализ в рамках базовой ролевой ДП-модели безопасности систем с простыми траекториями функционирования // Прикладная дискретная математика. 2010. №1(7). С. 16-36.
Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах | Прикладная дискретная математика. 2011. № 1(11).
Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах | Прикладная дискретная математика. 2011. № 1(11).
Полнотекстовая версия