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.

UDC: 004.056.52