This paper describes the process of updating Semantic RBAC system by several administrators concurrently. Processes of system transition between states are represented by a Petri net. Secure transitions are defined, and security conditions are proved for each transition type.
Download file
Counter downloads: 97
- Title Representation of semantic role based access control system by a colored Petri net
- Headline Representation of semantic role based access control system by a colored Petri net
- Publesher
Tomsk State University - Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 1(19)
- Date:
- DOI
Keywords
automated role management, RBAC, сети Петри, автоматизация управления ролями, ролевое управление доступомAuthors
References
Котов В. Е. Сети Петри. М.: Наука, 1984. 160с.
Девянин П. Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками: учеб. пособие для вузов. М.: Горячая линия-Телеком, 2011. 320 с.
http://csrc.nist.gov/rbac/rbacSTD-ACM.pdf — National Institute of Standards and Technology, Proposed Standard for Role-Based Access Control.
Семенова Н. А. Семантическая ролевая модель управления доступом // Прикладная дискретная математика. 2012. №2(16). С. 50-64.
Representation of semantic role based access control system by a colored Petri net | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2013. № 1(19).
Download full-text version
Download fileCounter downloads: 231