The role graph model and conflict of interest
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
Verification of workflow task structures: A petri-net-based approach
Information Systems
Practical safety in flexible access control models
ACM Transactions on Information and System Security (TISSEC)
Proposed NIST standard for role-based access control
ACM Transactions on Information and System Security (TISSEC)
Verifying Enterprise 's Mandatory Access Control Policies with Coloured Petri Nets
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Graph-based specification of access control policies
Journal of Computer and System Sciences
SA-RBAC: An Innovative Role-Based Access Control Model Introducing Self-Authentication Mechanism
ICICIC '08 Proceedings of the 2008 3rd International Conference on Innovative Computing Information and Control
Using timed colored petri nets and CPN-tool to model and verify TRBAC security policies
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |
Specification and verification of access control (AC) policies is a significant and challenging problem. Colored Petri Net (CPN) is a powerful modeling and analyzing tool having the advantages of intuitive visual framework with the rigor and precision of a semantics founded on category theory. In this paper, a concrete specification of SA-RBAC policy on CPN is described in detail for our improved RBAC model SA-RBAC (self-authentication RBAC). And all the states in the CPN model describing SA-RBAC policy can be proved to be consistent.