Replay attack in TCG specification and solution

Proceedings - Annual Computer Security Applications Conference, ACSAC

Volumn 2005, Issue , 2005, Pages 127-137

  Bruschi, Danilo ^a   Cavallaro, Lorenzo ^a   Lanzi, Andrea ^a   Monga, Mattia ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK PROTOCOLS; PROBLEM SOLVING; PUBLIC KEY CRYPTOGRAPHY; SECURITY OF DATA;

OBJECT-INDEPENDENT AUTHORIZATION PROTOCOL (OIAP); TRUSTED COMPUTING GROUP (TCG); TRUSTED PLATFORM MODULE (TPM);

COMPUTATION THEORY;

EID: 33846290336     PISSN: 10639527     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSAC.2005.47     Document Type: Conference Paper

References (20)

1. IBM Watson Research Center, Global Security Analysis Lab: TCPA Resources, http://www.research.ibm.com/gsal/tcpa/TPM-2.0.tar.gz.
2. Trusted Computing Group. http://www.trustedcomputinggroup.org.
3. TCG PC Specific Implementation Specification, http://www. trustedcomputinggroup.org, August 2003.
4. TCG Software Stack (TSS) Specification, http://www. trustedcomputinggroup.org, August 2003.
5. Trusted Platform Module Main Specification, Part 1: Design Principles, Part 2: TPM Structures, Pan 3: TPM Commands, http://www. trustedcomputinggroup.org, October 2003.
6. W. A. Arbaugh, D. J. Farber, and J. M. Smith. A secure and reliable bootstrap architecture. In SP '97: Proceedings of the 1997 IEEE Symposium on Security and Privacy, pages 65-71. IEEE Computer Society, 1997.
7. B. Balacheff, L. Chen, S. Pearson, D. Plaquin, and G. Proudler. Trusted Computing Platforms, tcpa technology in context. Prentice Hall PTR, 2003.
8. E. M. Clarke, S. Jha, and W. Marrero. Verifying Security Protocols with Brutus. ACM Transactions on Software Engineering and Methodology, 9(4):443-487, Oct. 2000.
9. D. Dolev and A. C. Yao. On the Security of Public Key Protocols. IEEE Transaction on Information Theory, 29(2):198-208, 1983.
10. P. England, B. Lampson, J. Manferdelli, M. Peinado, and B. Willman. A Trusted Open Platform. Computer, 36(7):55-62, 2003.
11. C. Hoare. Communicating Sequential Processes, Elettronic version available at http://www.usingcsp.com, first published in 1985 by Prentice Hall International, 2004.
12. G. J. Holzmann. A theory for protocol validation. IEEE Transactions on Computers, C-31(8):730-738, Aug. 1982.
13. G. J. Holzmann. The model checker spin. IEEE Trans. Softw. Eng., 23(5):279-295, 1997.
14. T. Kwon and J. Song. Clarifying straight replays and forced delays. SIGOPS Oper. Syst. Rev., 33(1):47-52, 1999.
15. G. Lowe. Breaking and fixing the needham-schroeder public-key protocol using fdr. In TACAs '96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pages 147-166. Springer-Verlag, 1996.
16. C. Meadows. Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches. In ESORICS '96: Proceedings of the 4th European Symposium on Research in Computer Security, pages 351-364. Springer-Verlag, 1996.
17. Peter Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, and Bill Roscoe. Modelling & Analysis of Security Protocols. Addison-Wesley, 2000.
18. R. Sailer, X. Zhang, T. Jaeger, and L. van Doom. Design and Implementation of a TCG-based Integrity Measurement Architecture. In Proceedings of the 13th USENIX Security Symposium, pages 223-238, 2004.
19. P. Syverson. A taxonomy of replay attacks. In Proceedings of the 7th IEEE Computer Security Foundations Workshop, 1994.
20. Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, and Dan 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. ACM Press, 2003.