|
Prikladnaya Diskretnaya Matematika, 2013, Number 1(19), Pages 34–49
(Mi pdm399)
|
|
|
|
Mathematical Foundations of Computer Security
Representation of semantic role based access control system by a colored Petri net
N. A. Semenova Moscow State Institute of Electronics and Mathematics (Technical University)
Abstract:
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.
Keywords:
RBAC, automated role management.
Citation:
N. A. Semenova, “Representation of semantic role based access control system by a colored Petri net”, Prikl. Diskr. Mat., 2013, no. 1(19), 34–49
Linking options:
https://www.mathnet.ru/eng/pdm399 https://www.mathnet.ru/eng/pdm/y2013/i1/p34
|
Statistics & downloads: |
Abstract page: | 207 | Full-text PDF : | 113 | References: | 48 | First page: | 1 |
|