Automated testing of the trusted platform module

Jisuanji Yanjiu yu Fazhan/Computer Research and Development

Volumn 46, Issue 11, 2009, Pages 1839-1846

  Zhan, Jing ^a   Zhang, Huanguo ^a  

^a WUHAN UNIVERSITY   (China)

Author keywords

Automated testing tool; Conformance testing; State machine model; Trusted computing; Trusted platform module (TPM)

Indexed keywords

AUTOMATED TESTING TOOLS; CONFORMANCE TESTING; STATE MACHINE MODELS; TRUSTED COMPUTING; TRUSTED PLATFORM MODULE;

CONTOUR FOLLOWERS; ELECTRIC MACHINE THEORY; NETWORK SECURITY; RECURSIVE FUNCTIONS; ROBOTICS;

COMPUTER SCIENCE;

EID: 71949106152     PISSN: 10001239     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. Shen Changxiang, Zhang Huangguo, Feng Dengguo, et al. Survey of information security[J]. Science in China: Serie F Information Security, 2007, 50(3): 273-298
2. Trusted Computing Group. TPM Specification[EB/OL]. [2008-04-28]. https://www.trustedcomputinggroup.org/specs/TPM
3. Infineon. Trusted Platform Module[EB/OL]. [2008-04-28].http://www.infineon.com cms cn product channel.html?channel=ff80808112ab681d0112ab6921ae011f
4. Atmel. Trusted Platform Model[EB/OL]. [2008-04-28].http://www.atmel.com/products/Embedded
5. Jetway Information Security Industry Co., Ltd. J2810 security chip[EB/OL]. [2008-04-28]. http://jetsec.com.cn/third/3cp/cp-ESM.htm (in Chinese)
6. Broadcom. Broadcom(r) Controllers Integrate TPM 1.2, Enabling OEMs to offer hardware-based security as a standard feature on all PCs[EB/OL]. [2008-04-28]. http://www.broadcom.com press/release.php?id=700509
7. Winbond. WPCT200 safekeeper(tm) trusted platform module (TPM)[EB/OL]. [2008-04-28]. http://www.winbond-usa.com.cn/content/view/333/1482
8. Strasser M, Stamer H, Molina J. Project: Software-based TPM Emulator[EB/OL]. [2008-04-28]. http://tpmemulator.berlios.de
9. Goodenough J B, Gerhart S L. Toward a theory of test data selection[J]. IEEE Trans on Software Engineering, 1975, 1(2): 156-173
10. Lee D, Yannakakis M. Principles and methods of testing finite state machines-A survey [J]. Proceedings of the IEEE, 1996, 84(8): 1090-1123
11. Chow T. Testing software design modeled by finite state machines[J]. IEEE Trans on Software Engineering, 1978, 4(3): 178-187
12. Ipate F, Holcombe M. Specification and testing using generalised machines: A presentation and a case study [J]. Software Testing, Verification & Reliability, 1998, 8(2): 61-81
13. Fujiwara S, Bochmann G, Khendek F, et al. Test selection based on finite state models[J]. IEEE Trans on Software Engineering, 1991, 17(6): 591-603
14. Petrenko A, Yevtushenko N, Lebedev A, et al. Nondeterministic state machines in protocol conformance testing[C]//Proc of IFIP TC6 WG6.1. Amsterdam, Netherlands: North-Holland, 1993: 363-378
15. Nie Changhai, Xu Baowen. An algorithm for automatically generating black-box test cases based interface parameters[J]. Chinese Journal of Computers, 2004, 27(3): 382-388 (in Chinese)
16. Zhang Yong, Qian Leqiu, Wang Yuanfeng. Automatic testing data generation in the testing based on EFSM [J]. Journal of Computer Research and Development, 2002, 39(9): 1144-1150(in Chinese)
17. Sadeghi A, Selhorst M, Stueble C, et al. TCG Inside?-A note on TPM specification compliance[C] Proc of the 1st ACM Workshop on Scalable Trusted Computing. New York: ACM, 2006: 47-56
18. Zhang Huangguo, Luo Jie, Yan Fei, et al. A practical solution to trusted computing platform testing[C]//Proc of the 1st Asia-Pacific Trusted Infrastructure Technologies Conf. Washington: IEEE Computer Society, 2008: 79-87
19. CCEVS. Validated Protection Profile-Trusted Computing Platform Alliance Trusted Platform Module Protection Profile, Version 1.9.7[EB OL]. [2008-04-28]. http://www.niap-ccevs.org/cc-scheme/pp/id/pp_tcpatpm_v1.9.4
20. CCEVS. Validated product-trusted platform module atmel AT97SC3201[EB/OL]. [2008-04-28]. http://www.niap-ccevs.org/cc-scheme/st/index.cfm/vid/3005