基于可信平台控制模块的主动度量方法

被引：19

作者：

郭颖 ^{[1
]}

毛军捷 ^{[1
]}

张翀斌 ^{[1
]}

张宝峰 ^{[1
]}

林莉 ^{[2
]}

谢仕华 ^{[1
]}

机构：

[1] 中国信息安全测评中心

[2] 北京工业大学计算机学院

来源：

清华大学学报(自然科学版) | 2012年 / 52卷 / 10期

关键词：

可信计算; 可信平台控制模块(TPCM); 主动度量; 主模式; 可信平台; 信任链; 可信根;

D O I：

10.16511/j.cnki.qhdxxb.2012.10.023

中图分类号：

TP309.1 [计算机设备安全];

学科分类号：

140102 [集成电路设计与设计自动化];

摘要：

现有可信平台模块TPM大多作为协处理器,以应答请求方式对输入数据进行完整性度量。由于BIOS可能被恶意篡改,因此不能保证TPM的输入数据和度量结果可信。针对上述问题,该文提出一种可信平台控制模块(TPCM)具备主动度量功能的硬件设计方案。在该方案中,TPCM与原宿主计算系统构建并行的双系统,主动地检查设备固件和软件代码,判断输入数据真实性和时效性,保证度量结果可信。最后,通过形式化方法对本方案进行了理论分析,分析结果表明:TPCM的主动度量方案可以保证待度量数据的真实性和时效性,从而保证度量结果可信。

引用

页码：1465 / 1473

页数：9

共 9 条

[1]

基于格的可信计算模型 [J].