Ehtesham Zahoor, Zubaria Asma, Olivier Perrin. A Formal Approach for the Verification of AWS IAM Access Control Policies. In Flavio De Paoli, Stefan Schulte 0002, Einar Broch Johnsen, editors, Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings. Volume 10465 of Lecture Notes in Computer Science, pages 59-74, Springer, 2017. [doi]
Abstract is missing.