A practical solution to trusted computing platform testing

Proceedings - 3rd Asia-Pacific Trusted Infrastructure Technologies Conference, APTC 2008

Volumn , Issue , 2008, Pages 79-87

  Zhang, Huanguo ^a   Luo, Jie ^a   Yan, Fei ^a   Xu, Mingdi ^a   He, Fan ^a   Zhan, Jing ^a  

^a WUHAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; LAWS AND LEGISLATION; TESTING;

CHAIN OF TRUSTS; COMPLIANCE TESTS; COMPUTING ENVIRONMENTS; GOVERNMENT REGULATIONS; NEW GENERATION TECHNOLOGIES; PRACTICAL SOLUTIONS; REFLECTION MECHANISMS; TESTING PROTOTYPES; TRUSTED COMPUTING GROUPS; TRUSTED COMPUTING PLATFORMS;

SPECIFICATIONS;

EID: 58049163021     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APTC.2008.20     Document Type: Conference Paper

References (21)

1. Shen ChangXiang, Zhang HuangGuo, Feng DengGuo, et. al. "Survey of information security". Science in China Series: E(Information Security), 2007, 37(2): 129-150(Ch).
2. Trusted Computing Group (TCG). TCG Specification Architecture Overview. https://www.trustedcomputinggroup.org/groups/TCG_1_4_Architecture_Overview. pdf.
3. Trusted Computing Group (TCG). Trusted Computing Platform Alliance (TCPA) Main Specification Version 1.1b. https://www.trustedcomputinggroup.org/ specs/TPM/TCPA_Main_TCG_Architecture_v1_1b.pdf
4. Trusted Computing Group (TCG). TPM Main Specification, Version 1.2 Revision 94. https://www.trustedcomputinggroup.org/specs/TPM/.
5. Trusted Computing Group (TCG). PC Client Specifications, Version 1.2 Revision 1.00. https://www.trustedcomputinggroup.org/specs/PCClient.
6. Trusted Computing Group (TCG). TCG Software Stack (TSS) Specification. https://www.trustedcomputinggroup.org/specs/TSS.
7. Infineon, Trusted Platform Module. http://www.infineon.com
8. Atmel, Trusted Platform Model. http://www.atmel.com/products/Embedded/ .
9. Jetway Information Security Industry Corporation, J2810 Security Chip. http://jetsec.com.cn/third/3cp/cp-ESM.htm.
10. Ahmad-Reza Sadeghi, Marcel Selhorst, Christian Stueble, et. al. "TCG Inside? - A Note on TPM Specification Compliance". The First ACM Workshop on Scalable Trusted Computing. New York: ACM Press, 2006. 47-56.
11. Goodenough JB, Gerhart SL. "Toward a theory of test data selection". IEEE Transactions on Software Engineering, 1975, 1(2):156-173.
12. S. Fujiwara, G. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. "Test selection based on finite state models". IEEE Transactions on Software Engineering, 1991, 17(6):591-603
13. Chow T, "Testing software design modeled by finite state machines". IEEE Transactions on Software Engineering, 1978, 4(3):178-187.
14. ISO/IEC.Information technology - Open Systems Interconnection- Evaluation criteria for information technology. New York: Standard ISO/IEC 15408, 1999.
15. L.S.Gerhart. "Toward a Theory of Test Data Selection". IEEE Transactions on software Engineering.1975, SE 23(6):156-160.
16. Zhu H, Hall P A V, May J H R. "Software Unit Test Coverage and Adequacy". ACM Computing Surveys , 1997,29 (4):366-427.
17. Smith B.C, Procedural Reflection in Programming Languages, MIT,1982.
18. Mao W, Daonity Team. Daonity Specification Part I: Design. http://forge.gridforum.org/projects/tc-rg/daonity/.
19. Huanguo Zhang, Jie Luo, Jin Gang et al. "Development of trusted computing research". The 2nd Chinese Conference on Trusted Computing and Information Security. Wuhan: Wuhan University Journal (Natural Science), 2006, 11(5):1407-1412.
20. TrouSerS, http://trousers.sourceforge.net.
21. David Challener, Kent Yoder, Ryan Catherman, et al. A practical guide to trusted computing. IBM Press: Boston, MA. December 2007.