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/