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