基于实体依赖关系的信任链模型与构建机制

作     者：程戈 李聪 张云 Cheng Ge;Li Cong;Zhang Yun

作者机构：湘潭大学数学与计算科学学院湖南湘潭411105 湘潭大学信息工程学院湖南湘潭411105 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2015年第32卷第6期

页      面：1801-1805页

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

基　　金：国家自然科学基金青年项目(61202397) 湘潭大学科研启动费资助项目(11QDZ42) 

主　　题：可信计算 安全逻辑系统 信任链 可信度量根 实体依赖 轻量虚拟机监控器 

摘      要：信任链的建立和传递是构建可信计算环境的核心,然而,当前的信任链模型仅仅是针对具体的可信计算环境进行的形式化建模,其不具有一般意义,不能够为构建可信计算环境(特别是基于动态可信度量根(DRTM)的可信环境)提供理论方面的指导,也难以胜任评估现有的可信计算环境的重任。为了解决上述问题,进而构建一个具有一般意义的信任链模型。首先将信任链模型转换为数学模型,然后,在分析实体依赖关系和安全逻辑系统的基础上,采用了数学逻辑的证明方法证明了该信任链模型满足的性质。该模型不仅可以评估现有的可信计算平台(包括基于静态可信度量根(SRTM)的可信计算平台和DRTM的可信计算平台),还可以为进一步研究信任链构建和可信计算环境构建等提供理论上的参考。