1. Towards realizing a formal RBAC model in real systems;Ahn,2007
2. Automated and efficient analysis of role-based access control with attributes;Armando,2012
3. Efficient run-time solving of RBAC user authorization queries: pushing the envelope;Armando,2012
4. Workflow and access control reloaded: a declarative specification framework for the automated analysis of web services;Barletta;Scalable Computing: Practice and Experience,2011
5. Deriving current state RBAC models from event logs;Baumgrass,2011