会议专题

A Practical Solution to Trusted Computing Platform Testing

Trusted Computing is a new generation technology of secure computing environment proposed by Trusted Computing Group (TCG). Although many TC vendors claim that their products are compliant to TCG specifications, its very difficult to affirm it. Moreover, according to some government regulations on security, TC products shall require the official approval. Thus the testing and evaluation on TC products are necessary. Especially, there is no a prototype with full testing on whole TC products. Aiming at these issues, we proposed a testing prototype to make up for the gap between TCG specifications and product implementations. We introduced the automata theory as test mechanism to achieve TPM specification compliance test, validate chain of trust compliance by analyzing TCG-BIOS, and use reflection mechanism to test each layer of TSS. As a result, our test shows that some popular trusted PCs dont meet the TCG specification includes TPM, TCG-BIOS and TSS.

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

Computer School, Wuhan University, Wuhan, Hubei, China, 430072 State Key Laboratory of Software Engi Computer School, Wuhan University, Wuhan, Hubei, China, 430072 Computer School, Wuhan University, Wuhan, Hubei, China, 430072 Key Laboratory of Aerospace Informati

国际会议

Third Asia-Pacific Trusted Infrastructure Technologies Conference(第三届亚太地区可信基础架构技术大会)(APTC 2008)

武汉

英文

79-87

2008-10-14(万方平台首次上网日期,不代表论文的发表时间)