Grzegorz Kolaczek. Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System. In 12th IEEE International Workshops on Enabling Technologies (WETICE 2003), Infrastructure for Collaborative Enterprises, 9-11 June 2003, Linz, Austria. pages 190-195, IEEE Computer Society, 2003. [doi]
Abstract is missing.