1. Role-based authorization constraints specification;Ahn;ACM Transactions on Information and System Security,2000
2. A logical framework for reasoning about access control models;Bertino,2001
3. Boxed ambients with communication interfaces (BACI);Bonelli,2004
4. Rôle-based access control for a distributed calculus;Braghin;Journal of Computer Security,2006
5. Reasoning about security in mobile ambients;Bugliesi,2001