HomeIssuesTransformation rules for states in base role DP-model of accesscontrol and information flows in operating systems

Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2011. № 1(11).

The base role DP-model of access control and information flowsin operating systems is presented. In comparison with BR DP-model this one includesregistration records of users, entities and parameters associated with subjects-sessions orroles, mandatory integrity control and actual access subject-sessions. The article focusesbasic attention on changes in conditions and results of application of transformation rulesfor states. It is proved that the only monotonous transformation rules are sufficient for theanalysis of conditions for role access rights transfer, access reception and information flowsrealization.
Download file
Counter downloads: 82
  • Title Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems
  • Headline Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems
  • Publesher Tomask State UniversityTomsk State University
  • Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 1(11)
  • Date:
  • DOI
Keywords
operating system, computer security, role DP-model, операционная система, ролевая ДП-модель, компьютерная безопасность
Authors
References
Буренин П. В. Подходы к построению ДП-модели файловых систем // Прикладная дискретная математика. 2009. №1(3). С. 93-112.
Колегов Д. Н. ДП-модель компьютерной системы с функционально и параметрически ассоциированными с субъектами сущностями // Вестник Сибирского государственного аэрокосмического университета им. акад. М. Ф. Решетнева. 2009. Вып. 1(22). Ч. 1. С. 49-54.
Девянин П. Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками. Учеб. пособие для вузов. М.: Горячая линия-Телеком, 2011. 320 с.
Девянин П. Н. Анализ в рамках базовой ролевой ДП-модели безопасности систем с простыми траекториями функционирования // Прикладная дискретная математика. 2010. №1(7). С. 16-36.
Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2011. № 1(11).
Transformation rules for states in base role DP-model of accesscontrol and information flows in operating systems | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2011. № 1(11).
Download full-text version
Counter downloads: 198
Download file