Formalising and validating RBAC−to−XACML translation using lightweight formal methods
Mark Slaymaker‚ David Power and Andrew Simpson
Book Title
Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010)
Pages
349–362
Publisher
Springer−Verlag Lecture Notes in Computer Science‚ volume 5977
Year
2010