On the modelling and analysis of Amazon Web Services access policies
David Power‚ Mark Slaymaker and Andrew Simpson
Book Title
Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010)
Pages
394
Publisher
Springer−Verlag Lecture Notes in Computer Science‚ volume 5977
Year
2010