首页|Research on theory and key technology of trusted computing platform security testing and evaluation

Research on theory and key technology of trusted computing platform security testing and evaluation

扫码查看
原文链接
  • 万方数据
Trusted computing has become a new trend in the area of international information security, and the products of trusted computing platform begin to be used in application. Users will not use the products of information security, unless it goes through the testing and evaluation. Here we concentrate on the testing and evaluation problem of trusted computing platform, begin with constructing proper formalization model of trusted computing platform for testing, and establish a mathematical chain of trust model based on SPA. Moreover, we give a verification method of composite characteristics and find the potential factors threatening the trusted system in the process of remote attestation through analysis. For trusted software stack, we study the problem of automatic generation of test case and propose an improved method of generating the random test case, to raise the quality of test case. Finally, we give a prototype system of trusted computing platform and the actual test data related. The result demonstrates that there exist some flaws in the architecture of the present TCG computing platform. At the same time, some flaws are found in the products of existing trusted computing platform, thus a basis is laid for the improvement and development of trusted platform technology and its products.

information securitytrusted computingtrusted computing platformtesting and evaluation

ZHANG HuanGuo、YAN Fei、FU JianMing、XU MingDi、YANG Yang、HE Fan、ZHAN Jing

展开 >

School of Computer，Wuhan University，Wuhan 430072，China；。Key Laboratory of Aerospace Information Security and Trusted ComputingJMinistry of Education，Wuhan 430072，China

可信计算平台 安全测试 平台技术 评估 信息安全产品 形式化模型 应用程序 数学模型

国家自然科学基金国家自然科学基金国家自然科学基金National High-Tech Research ＆ Development Program of ChinaNational High-Tech Research ＆ Development Program of China

6067307160970115907180052007AA01Z4112006AA01Z442

2010

中国科学:信息科学(英文版)
中国科学院

中国科学:信息科学(英文版)

SCI
影响因子：0.715
ISSN：1674-733X
年,卷(期)：2010.(3)
  • 5
  • 39