Formalising and validating RBAC−to−XACML translation using lightweight formal methods - Slaymaker, M; Power, D; Simpson, A (Springer−Verlag Lecture Notes in Computer Science‚ volume 5977, 2010)