TCG inside?: A note on TPM specification compliance

Proceedings of the First ACM Workshop on Scalable Trusted Computing, STC'06. A workshop held in conjuction with the 13th ACM Conference on Computer and Communications Security, CCS'06

Volumn , Issue , 2006, Pages 47-56

  Sadeghi, Ahmad Reza ^a   Selhorst, Marcel ^a   Stüble, Christian ^a   Wachsmann, Christian ^a   Winandy, Marcel ^a  

^a RUHR UNIVERSITY BOCHUM   (Germany)

Author keywords

Compliance; Test; TPM; Trusted computing

Indexed keywords

CRYPTOGRAPHY; INFORMATION TECHNOLOGY; SECURITY OF DATA; SPECIFICATIONS;

COMPLIANCE TESTING; SECURITY PROBLEMS; SECURITY VULNERABILITIES; TRUSTED COMPUTING GROUP (TCG); TRUSTED PLATFORM MODULE (TPM);

GRID COMPUTING;

EID: 34547208096     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1179474.1179487     Document Type: Conference Paper

References (25)

1. TrustedGRUB. http://Hww.proseo.rub.de/trusted_grub.html.
2. Linux Device Driver for Infineon TPMs. http://www.prosee.rub.de/tpm/ index.html, 2006.
3. Atmel. AT97SC3201 - The Atmel Trusted Platform Module. http://www.atmel.com/dyn/resouroes/prod_documents/doo5010.pdf, August 2004.
4. Atmel. AT97SC3203 Advanced Information Summary. http://www.atmel.com/dyn/ resouroes/prod_doouments/5116s.pdf, July 2005.
5. Atmel. AT97SC3203S for SMBus Protocol Summary. http://www.atmel.com/dyn/ resouroes/prod_doouments/5132s.pdf, August 2005.
6. Atmel. Trusted Platform Module AT97SC3201 Summary. http://www.atmel.com/ dyn/resources/prod_documents/2015s.pdf, June 2005.
7. B. Beizer. Black Box Testing. John Wiley & Sons, 1995.
8. Broadcom. Broadcom Revolutionizes LAN Communications by Introducing the World's First PCI Express Gigabit Ethernet Controllers for Server, Desktop and Mobile PCs. http://www.broadcom.com/press/release.php71d-4S1159, October 2003.
9. Broadcom. BCM5752 Product Brief. http://www.broadoom.com/oollateral/pb/ 5752-PB00-R.pdf, 2005.
10. Broadcom. BCM5752M Product Brief. http://www.broadcom.com/collateral/pb/ 5752M-PB00-R.pdf, 2005.
11. Broadcom. Broadcom Controllers Integrate TPM 1.2 enabling OEMs to Offer Hardware-Based Security as a Standard Feature on all PCs. http://www.broadcom. com/press/release.php7id-700509, April 2005.
12. T. S. Chow. Test design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178-187, 1978.
13. K. El-Fakih, N. Yevtushenko, and G. v. Bochmann. FSM-based incremental conformance testing methods. IEEE Transactions on Software Engineering, 30(7):425-436, 2004.
14. Horst Görtz Institute for IT Security, Ruhr-University Bochum, Applied Data Security Group. Technical Report. http://www.prosee.rub.de/ tpmcompliance.html, May 2006.
15. Infineon Technologies AG. Product Brief -TPM 1.2 Hardware, http://www.infineon.com/tpm, May 2005.
16. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proceedings of the IEEE, volume 84, pages 1090-1123, 1996.
17. L. Li, S. A. Szygenda, and M. A. Thornton. Combining simulation and formal verification for integrated circuit design validation. In Proceedings of the 9th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI), pages 92-97, 2005.
18. H.-M. Lin, C-C. Yen, C-H. Shih, and J.-Y. Jou. On Compliance-Test of On-Chip Bus for SOC. In Proceedings of the 2004 Asia and South Pacific Design Automation Conference (ASP-DAC04). IEEE Press, 2004.
19. National Semiconductor. Product Brief: PC8374T SafeKeeper Desktop TrustedI/O. http://www.winbond-usa.com/products/winbond_products/pdfs/AP0/ PCS374T.pdf, August 2004.
20. J. Ruiz, A. Vallejo, and J. Abella. IPv6 conformance and interoperability testing. In Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005). IEEE Press, 2005.
21. Data Brief: ST19WP18-TPM-A Trusted Platform Module. http://www.st.com/ stonline/products/literature/bd/10926.pdf, 2004.
22. Data Brief: ST19WP18-TPM-B Trusted Platform Module. http://www.st.com/ stonline/products/literature/bd/10927.pdf, 2004.
23. Data Brief: ST19WP18-TPM-C Trusted Platform Module. http://www.st.com/ stonline/products/literature/bd/10928.pdf, 2004.
24. Trusted Computing Group (TCG). TCPA Main Specification, Version 1.1b. https://www.trustedcomputinggroup.org/specs/TPM/ TCPA_Main_TCG_Arohitecture_vl_lb.pdf, February 2002.
25. Trusted Computing Group (TCG). TPM Main Specification, Version 1.2 Revision 94. https://www.trustedcomputinggroup.org/specs/TPM/, March 2006.