一种通过应用程序验证TPM标准符合性的方法(英文)

被引：7

作者：

崔奇

石文昌

机构：

[1] 中国科学院研究生院

来源：

中国科学院研究生院学报 | 2008年 / 05期

关键词：

可信计算组织; 可信平台模块; 标准符合性测试; 标准符合链;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

安全涉及系统保护与策略符合性两层意义.目前TCG尽管已经发布了可信计算的相关标准,但是缺乏标准符合性验证的规范.将一种验证TPM命令标准符合性的机制引入到可信计算应用程序之中,在TPM执行功能之前检验其相关命令的标准一致性;同时,还进一步讨论了标准符合链的思想,通过确保每个组件的标准符合性来加强整个计算平台的安全性.

引用

页码：649 / 656

页数：8

共 15 条

[1]

ZIP[P]. FROEHLICH ALFONS.CS194201B2,1979-11-30

[2]

ZIP[P]. FROEHLICH ALFONS.CS194201B2,1979-11-30

[3]

ZIP[P]. FROEHLICH ALFONS.CS194201B2,1979-11-30

[4]

Architecture overviewspecification,revision1.3. Trusted Computing Group(TCG). https://www.trustedcomputinggroup.org/groups/TCG-1-3-Architecture-Overview.pdf . 2007

[5]

Asoftware-based TPMemulator for linux. Strasser M. . 2004

[6]

Model-based functional conformance testing of web services operating on persistent data. Sinha A,Paradkar A. Proceedings of the2006Workshop on Testing,Analysis,and Verification of Web Services and Applications . 2006

[7]

FSM-basedtransactionlevel functional coverage for interface compliance verification. Su MY,Shih CH,Huang JD,et al. Proceedings of the2006Conference on Asia South Pacific Design Automation(ASPDAC’06) . 2006

[8]

On compliance test of on-chip bus for SOC. Lin HM,Yen CC,Shih CH,et al. Proceedings of the2004Conference on Asia South Pacific Design Automation:Electronic Design and Solution Fair(ASPDAC’04) . 2004

[9]

Conformance testingICTstandards:costly chore or valuable insurance?. Arnold D. StandardView . 1994

[10]

Improving conformance andinteroperabilitytesting. Kindrick JD,Sauter JA,Matthews RS. StandardView . 1996

← 1 2 →