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

优先出版 计 算 机 应 用 研 究 第32 卷 基于实体依赖关系的信任链模型与构建机制 a a b 程 戈 ，李 聪 ，张 云 (湘潭大学 a．数学与计算科学学院；b ．信息工程学院，湖南 湘潭 411105) 摘 要：信任链的建立和传递是构建可信计算环境的核心，然而，当前的信任链模型仅仅针对具体的可信计算环境进行 的形式化建模。其不具有一般意义，不能够为构建可信计算环境 （特别是基于动态可信度量根 （DRTM ）的可信环境） 提供理论方面的指导，也难以胜任评估现有的可信计算环境的重任。本文的目的是为了解决上述问题，进而构建一个具 有一般意义的信任链模型。本文首先将信任链模型转化为数学模型，然后，在分析实体依赖关系和安全逻辑系统的基础 上，采用了数学逻辑的证明方法证明了该信任链模型满足的性质。该模型不仅可以评估现有的可信计算平台 （包括基于 静态可信度量根 （SRTM）的可信计算平台和 DRTM 的可信计算平台），还可以为进一步研究信任链构建和可信计算环 境构建等提供理论上的参考。 关键词：可信计算；安全逻辑系统；信任链；可信度量根；实体依赖；轻量虚拟机监控器 中图分类号：TP309 文献标志码：A Analyzing chain of trust model based on entity dependence a a b CHENG Ge , LI Cong , ZHANG Yun (a. School of Mathematics Computational Science, b. College of Information Engineering, Xiangtan University, Xiangtan Hunan 411105, China) Abstract: This paper provides a chain of trust model in line with the TCG trust concepts. This model gives a formal definition and proof of trust state, trust root and trust measurement and chain of trust by the concept of Smith’s entity dependence and the assumption that the authenticity can measure the entity’s conduct without any loss. The model is universal, which can provides a theoretical basis for assessing the existing trusted computing platform, and provides theoretical support for the follow-up research on how to build a more reasonable chain of trust. Key Words: trusted computing; logic of secure system; chain of trust; root of trust measurement; entity dependence; LVMM 不同的可信计算平台有不同的实现方式。 0 引言