Formalising and validating RBAC−to−XACML translation using lightweight formal methods

Bibliografische gegevens
Hoofdauteurs: Slaymaker, M, Power, D, Simpson, A
Formaat: Conference item
Gepubliceerd in: Springer−Verlag Lecture Notes in Computer Science‚ volume 5977 2010