一种可信终端运行环境远程证明方案*

• 作者: 谭良 陈菊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信计算 远程证明 属性证明 终端行为 证明代理 验证代理
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 软件学报
• 页码范围: 1273-1290
• 页数: 18页
• 分类号: TP309
• 字数: 11741字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004414

摘要

可信终端的远程证明无论是基于二进制的证明方案还是基于属性的证明方案，针对的均是终端的静态环境，反映的是终端的软件配置结构，并不能证明终端运行环境的真正可信。针对这一问题，提出了一种终端可信环境远程证明方案。针对静态环境，该方案考虑了满足可信平台规范的信任链以及相关软件配置的可信属性证明；针对动态环境，该方案考虑了终端行为的可信属性证明。并分别给出了信任链、平台软件配置和终端行为等属性证明的可信性判定策略和算法，以及终端运行环境远程证明的综合性判定策略和算法。另外，在 Windows 平台上，设计和实现了该方案中的两个核心实体：证明代理和验证代理，并设计了证明代理和验证代理之间的通信协议。最后，介绍了该方案在 Windows 平台上的一个典型应用案例以及证明代理在该应用实例中的性能开销。应用实例验证了该方案的可行性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭良	四川师范大学计算机学院	97	1102	16.0	29.0
5	陈菊	四川师范大学计算机学院	5	47	3.0	5.0