-
1
Formalising and validating RBAC−to−XACML translation using lightweight formal methods
Almmustuhtton 2010“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”
Conference item -
2
On the modelling and analysis of Amazon Web Services access policies
Almmustuhtton 2010“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”
Conference item