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