On the modelling and analysis of Amazon Web Services access policies - Power, D; Slaymaker, M; Simpson, A (Springer−Verlag Lecture Notes in Computer Science‚ volume 5977, 2010)