Petri-net model for verification of RBAC Policies
Author
Basit Shafiq, James B. D. Joshi, Arif Ghafoor
Tech report number
CERIAS TR 2002-33
Institution
Purdue University
School
Electrical and Computer Engienering
Affiliation
Purdue University
Publication Date
1900-01-01
Keywords
role based access control, security, petri-net, security policy, verification
Subject
Specification and verification of