David J. Power, Mark Slaymaker, Andrew Simpson. On the Modelling and Analysis of Amazon Web Services Access Policies. In Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves, editors, Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Volume 5977 of Lecture Notes in Computer Science, pages 394, Springer, 2010. [doi]
Abstract is missing.