可信计算平台测评理论与关键技术研究

• 作者: 严飞 何凡 傅建明 张焕国 徐明迪 杨飏 詹静
• 来源期刊: 中国科学(信息科学)
• 学科: 工学
• 关键词: 信息安全 可信计算 可信计算平台 测试与评估
• 年，卷（期）: 2010,（2）
• 页码范围: 167-188
• 页数: 22页
• 分类号: TP309|O242.1
• 语种: 中文

摘要

可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.该文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.