Formalising and validating RBAC−to−XACML translation using lightweight formal methods por Slaymaker, M, Power, D, Simpson, A

“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”

On the modelling and analysis of Amazon Web Services access policies por Power, D, Slaymaker, M, Simpson, A

“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”