1. Specification and analysis of access control policies for mobile applications;Abdunabi,2013
2. Specification and cassification of role-based authorization policies;Ahn,2003
3. Role-based authorization constraints specification;Ahn;ACM Trans. Inf. Syst. Secur.,2000
4. Role-based authorization constraints specification using object constraint language;Ahn,2001
5. Automated analysis of security-design models;Basin;Inf. Softw. Technol.,2009