@inproceedings{Power-2010,
  title = "On the modelling and analysis of Amazon Web Services access policies",
  author = "David Power and Mark Slaymaker and Andrew Simpson",
  year = "2010",
  booktitle = "Proceedings of Abstract State Machines, Alloy, B and Z (ABZ 2010)",
  pages = "394",
  publisher = "Springer-Verlag Lecture Notes in Computer Science, volume 5977",
}