1. Amazon, Amazon virtual private cloud.
https://aws.amazon.com/vpc
. Accessed 14 Feb 2018
2. A. Armando, R. Carbone, L. Compagna, J. Cuellar, L. Tobarra, Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for Google apps, in Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering (2008)
3. M. Ben-Ari, Mathematical Logic for Computer Science (Springer, London, 2012)
4. S. Bleikertz, C. Vogel, T. Groß, S. Mödersheim, Proactive security analysis of changes in virtualized infrastructures, in Proceedings of the 31st Annual Computer Security Applications Conference (ACSAC) (ACM, New York, 2015), pp. 51–60
5. Cloud Security Alliance, Cloud control matrix CCM v3.0.1 (2014).
https://cloudsecurityalliance.org/research/ccm/
. Accessed 14 Feb 2018