CERTICLOUD: A novel TPM-based approach to ensure cloud IaaS security

Proceedings - 2011 IEEE 4th International Conference on Cloud Computing, CLOUD 2011

Volumn , Issue , 2011, Pages 121-130

  Bertholon, Benoît ^a   Varrette, Sébastien ^a   Bouvry, Pascal ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Avispa; Cloud computing; IaaS; Scyther; TPM

Indexed keywords

AUTOMATIC VERIFICATION; AVISPA; CRYPTANALYTIC ATTACKS; HARDWARE ELEMENTS; IAAS; KEY COMPONENT; LOW OVERHEAD; PHYSICAL RESOURCES; REMOTE RESOURCES; SCYTHER; SECURE STORAGE; SECURITY ISSUES; SECURITY PROTOCOLS; SYMMETRIC KEYS; TPM; TRUSTED COMPUTING GROUPS; TRUSTED PLATFORM MODULE; VIRTUAL MACHINES; VIRTUALIZATIONS;

NETWORK SECURITY; THERMOELECTRIC POWER;

CLOUD COMPUTING;

EID: 80053148327     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CLOUD.2011.71     Document Type: Conference Paper

References (26)

1. "Avispa," http://avispa-project.org/.
2. C. Cremers, "Scyther - semantics and verification of security protocols," Ph.D., Eindhoven Univ. of Technology, 2006.
3. J. Viega, "Cloud computing and the common man," 2009.
4. C. J. Cremers, P. Lafourcade, and P. Nadeau, "Comparing state spaces in automatic protocol analysis," 2009.
5. B. Blanchet, "An Efficient Cryptographic Protocol Verifier Based on Prolog Rules," 2001.
6. G. Lowe, "Casper: A compiler for the analysis of security protocols," 1998.
7. M. Christodorescu, S. Jha, S. A. Seshia, D. Song, and R. E. Bryant, "Semantics-aware malware detection," 2005.
8. G. H. Kim and E. H. Spafford, "The design and implementation of tripwire: a file system integrity checker," 1994.
9. M. Abadi, M. Budiu, U. Erlingsson, and J. Ligatti, "Control-flow integrity principles, implementations, and applications," 2009.
10. Microsoft, "BitLocker Drive Encryption," http://technet. microsoft.com/en-us/library/cc732774.aspx.
11. "Xen hypervisor, the powerful open source industry standard for virtualization," http://www.xen.org/.
12. "Cloud Computing and Security - A Natural Match," Trusted Computing Group, Tech. Rep., April 2010.
13. C. I. Dalton, D. Plaquin, W. Weidner, D. Kuhlmann, B. Balacheff, and R. Brown, "Trusted virtual platforms: a key enabler for converged client devices," 2009.
14. N. Santos, K. P. Gummadi, and R. Rodrigues, "Towards trusted cloud computing," 2009.
15. J. C. M. R. T. Garfinkel, B. Pfaff and D. Boneh, "Terra: A virtual machine-based platform for trusted computing," 2003.
16. A. Muñoz, A. Maña, and D. Serrano, "Protecting agents from malicious hosts using tpm," IJCSA, 2009.
17. ISO/IEC 11889-1: Information technology - Trusted Platform Module - Part 1: Overview, ISO.
18. TCG, "TCG Specification Architecture Overview - Revision 1.4," TCG, Tech. Rep., 2007.
19. "Trusted Computing Group," www.trustedcomputinggroup.org.
20. R. Needham and M. Schroeder, "Using encryption for authentication in large networks of computers," 1978.
21. G. Lowe, "Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR," 1996.
22. D. Dolev and A. C. Yao, "On the security of public key protocols," in 22nd Annual Symposium on Foundations of Computer Science, 1981, pp. 350-357.
23. M. Strasser, "Software-based TPM Emulator," http://tpm-emulator.berlios.de.
24. L. Sarmenta, "TPM/J Java-based API for the Trusted Platform Module," http://projects.csail.mit.edu/tc/tpmj/.
25. D. N. et al. and D. Zagorodnov, "A technical report on an elastic utility computing architecture linking your programs to useful systems," Tech. Rep., 08/2008 2008. [Online]. Available: http://open.eucalyptus.com/
26. "Opennebula," [online] see http://www.opennebula.org/.