Որոնման արդյունքները - Springer−Verlag Lecture Notes in Computer Science‚ volume 5977 :: UTM Library Massive Scholar Tracking

1

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

Հրապարակվել է 2010
“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”

Conference item
2

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

Հրապարակվել է 2010
“…Springer−Verlag Lecture Notes in Computer Science‚ volume 5977…”

Conference item