Geodesic
Representation of semantic role based access control system by a colored Petri net
Prikladnaâ diskretnaâ matematika, no. 1 (2013), pp. 34-49.

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{PDM_2013_1_a3,
     author = {N. A. Semenova},
     title = {Representation of semantic role based access control system by a colored {Petri} net},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {34--49},
     publisher = {mathdoc},
     number = {1},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2013_1_a3/}
}
TY  - JOUR
AU  - N. A. Semenova
TI  - Representation of semantic role based access control system by a colored Petri net
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2013
SP  - 34
EP  - 49
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2013_1_a3/
LA  - ru
ID  - PDM_2013_1_a3
ER  - 
%0 Journal Article
%A N. A. Semenova
%T Representation of semantic role based access control system by a colored Petri net
%J Prikladnaâ diskretnaâ matematika
%D 2013
%P 34-49
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2013_1_a3/
%G ru
%F PDM_2013_1_a3
N. A. Semenova. Representation of semantic role based access control system by a colored Petri net. Prikladnaâ diskretnaâ matematika, no. 1 (2013), pp. 34-49. http://geodesic.mathdoc.fr/item/PDM_2013_1_a3/

[1] Semenova N. A., “Semanticheskaya rolevaya model upravleniya dostupom”, Prikladnaya diskretnaya matematika, 2012, no. 2(16), 50–64

[2] Proposed Standard for Role-Based Access Control, , National Institute of Standards and Technology http://csrc.nist.gov/rbac/rbacSTD-ACM.pdf

[3] Kotov V. E., Seti Petri, Nauka, M., 1984, 160 pp. | MR

[4] Devyanin P. N., Modeli bezopasnosti kompyuternykh sistem. Upravlenie dostupom i informatsionnymi potokami, ucheb. posobie dlya vuzov, Goryachaya liniya-Telekom, M., 2011, 320 pp.