Improving the scalability of platform attestation

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2008, Pages 1-10

  Stumpf, Frederic ^a   Fuchs, Andreas ^b   Katzenbeisser, Stefan ^a   Eckert, Claudia ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b FRAUNHOFER INSTITUTE FOR SECURE INFORMATION TECHNOLOGY SIT   (Germany)

Author keywords

Attestation protocols; Integrity reporting; Performance; Remote attestation; Scalability; Trusted computing

Indexed keywords

ATTESTATION PROTOCOLS; INTEGRITY REPORTING; PERFORMANCE; REMOTE ATTESTATION; TRUSTED COMPUTING;

COMPUTER SCIENCE; NETWORK SECURITY; QUALITY ASSURANCE; SCALABILITY; SPACE TIME ADAPTIVE PROCESSING;

NETWORK PROTOCOLS;

EID: 70349256468     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1456455.1456457     Document Type: Conference Paper

References (27)

1. AVISPA. Deliverable 2.3: The high-level protocol specication language. Technical report, http://www.avispa-project.org/delivs/2.1/d2-1.pdf, 2003.
2. S. Berger, R. Cáceres, K. A. Goldman, R. Perez, R. Sailer, and L. van Doorn. vtpm: virtualizing the trusted platform module. In USENIX-SS'06: Proceedings of the 15th conference on USENIX Security Symposium, pages 21-21, Berkeley, CA, USA, 2006. USENIX Association.
3. L. Chen, R. Landfermann, H. Löhr, M. Rohe, A.-R. Sadeghi, C. Stüble, and H. Görtz. A protocol for property-based attestation. In STC '06: Proceedings of the rst ACM workshop on Scalable trusted computing, pages 7-16, New York, NY, USA, 2006. ACM Press.
4. Y. Chevalier, L. Compagna, J. Cuellar, P. H. Drieslma, J. Mantovani, S. Mödersheim, and L. Vigneron. A high level protocol specication language for industrial security-sensitive protocols. In Proceedings of Workshop on Specication and Automated Processing of Security Requirements (SAPS 2004), 2004.
5. T. Dierks and E. Rescorla. The Transport Layer Security (TLS) Protocol Version 1.1. Technical report, IETF Network Working Group, 2006.
6. D. Dolev and A. Yao. On the security of public key protocols. In Proceedings of the IEEE 22nd Annual Symposium on Foundations of Computer Science, pages 350-357, 1981.
7. T. Garnkel, B. Pfa, J. Chow, M. Rosenblum, and D. Boneh. Terra: A virtual machine-based platform for trusted computing. In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating Systems Principles, pages 193-206, New York, NY, USA, 2003. ACM Press.
8. Y. Gasmi, A.-R. Sadeghi, P. Stewin, M. Unger, and N. Asokan. Beyond secure channels. In STC '07: Proceedings of the 2007 ACM workshop on Scalable trusted computing, pages 30-40, New York, NY, USA, 2007. ACM.
9. K. Goldman, R. Perez, and R. Sailer. Linking remote attestation to secure tunnel endpoints. In First ACM Workshop on Scalable Trusted Computing, Fairfax, Virginia, November 2006.
10. V. Haldar, D. Chandra, and M. Franz. Semantic remote attestation: A virtual machine directed approach to trusted computing. In USENIX Virtual Machine Research and Technology Symposium, 2004 2004.
11. C. Krauß, F. Stumpf, and C. Eckert. Detecting Node Compromise in Hybrid Wireless Sensor Networks Using Attestation Techniques. In In Proceedings of the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks (ESAS 2007), Lecture Notes in Computer Science, Cambridge, UK, July 2007. Springer-Verlag.
12. L. Lamport. Password authentication with insecure communication. In Commun. ACM, volume 24, pages 770-772, New York, NY, USA, 1981. ACM Press.
13. J. Liedtke. On Micro-Kernel Construction. In SOSP '95: Proceedings of the fteenth ACM Symposium on Operating Systems Principles, pages 237-250, New York, NY, USA, 1995. ACM Press.
14. H. Löhr, H. V. Ramasamy, A.-R. Sadeghi, S. Schulz, M. Schunter, and C. Stüble. Enhancing grid security using trusted virtualization. In Second Workshop on Advances in Trusted Computing (WATC'06), Tokyo, Japan, November 2006.
15. A.-R. Sadeghi, M. Scheibel, C. Stüble, and M. Wolf. Play it once again, sam - enforcing stateful licenses on open platforms. In 2nd Workshop on Advances in Trusted Computing (WATC '06 Fall), Tokyo, Japan, November 2006.
16. A.-R. Sadeghi, M. Selhorst, C. Stüble, and M. Winandy. TCG Inside? A Note on TPM Specication Compliance. In Proceedings of the First ACM Workshop on Scalable Trusted Computing (STC'06)., 2006.
17. A.-R. Sadeghi and C. Stuble. Property-based attestation for computing platforms: caring about properties, not mechanisms. In NSPW '04: Proceedings of the 2004 workshop on New security paradigms, pages 67-77, New York, NY, USA, 2004. ACM Press.
18. R. Sailer, T. Jaeger, X. Zhang, and L. van Doorn. Attestation-based policy enforcement for remote access. In CCS '04: Proceedings of the 11th ACM conference on Computer and communications security, pages 308-317, New York, NY, USA, 2004. ACM Press.
19. E. Shi, A. Perrig, and L. V. Doorn. BIND: A Fine-Grained Attestation Service for Secure Distributed Systems. In SP '05: Proceedings of the 2005 IEEE Symposium on Security and Privacy, pages 154-168, Washington, DC, USA, 2005. IEEE Computer Society.
20. F. Stumpf, M. Benz, M. Hermanowski, and C. Eckert. An Approach to a Trustworthy System Architecture using Virtualization. In Proceedings of the 4th International Conference on Autonomic and Trusted Computing (ATC-2007), volume 4158 of Lecture Notes in Computer Science, Hong Kong, China, 2007. Springer-Verlag.
21. F. Stumpf and C. Eckert. Enhancing Trusted Platform Modules with Hardware-Based Virtualization Techniques. In Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2008), Cap Esterel, France, August 25-31, 2008. IEEE Computer Society.
22. F. Stumpf, O. Tafreschi, P. Roder, and C. Eckert. A Robust Integrity Reporting Protocol for Remote Attestation. In Second Workshop on Advances in Trusted Computing (WATC'06 Fall), Tokyo, Japan, November 2006.
23. Trusted Computing Group. TCG TPM Specication Version 1.2 Revision 103, Structure of the TPM. Technical report, TCG, 2007.
24. Trusted Computing Group. Infrastructure Subject Key Attestation Evidence Extension Version 1.0, Revision 5. Technical report, TCG, 2005.
25. Trusted Computing Group. TCG TPM Specication, Architecture Overview. Technical report, TCG, 2007.
26. Trusted Computing Group. Trusted Platform Module (TPM) specications. Technical report, TCG, 2008, https://www.trustedcomputinggroup.org/specs/TPM
27. L. Viganò. Automated Security Protocol Analysis with the AVISPA Tool. In Proceedings of the XXI Mathematical Foundations of Programming Semantics (MFPS'05), volume 155 of ENTCS, Elsevier, 2005.