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

作     者：谭良 陈菊 TAN Liang;CHEN Ju

作者机构：四川师范大学计算机学院四川成都610068 中国科学院计算技术研究所北京100190 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2014年第25卷第6期

页      面：1273-1290页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(60970113) 四川省青年科技基金(2011JQ0038) 

主　　题：可信计算 远程证明 属性证明 终端行为 证明代理 验证代理 

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