基于实体依赖关系的信任链模型与构建机制-计算机应用研究.PDF

第 卷第 期 计 算 机 应 用 研 究 年 月 基于实体依赖关系的信任链模型与构建机制 程戈 李聪 张云 湘潭大学数学与计算科学学院 信息工程学院 湖南湘潭 摘 要 信任链的建立和传递是构建可信计算环境的核心然而当前的信任链模型仅仅是针对具体的可信计 算环境进行的形式化建模其不具有一般意义不能够为构建可信计算环境特别是基于动态可信度量根 的可信环境提供理论方面的指导也难以胜任评估现有的可信计算环境的重任 为了解决上述问题 进而构建一个具有一般意义的信任链模型 首先将信任链模型转换为数学模型然后在分析实体依赖关系和 安全逻辑系统的基础上采用了数学逻辑的证明方法证明了该信任链模型满足的性质 该模型不仅可以评估现 有的可信计算平台 包括基于静态可信度量根的可信计算平台和 的可信计算平台 还可以为进 一步研究信任链构建和可信计算环境构建等提供理论上的参考 关键词 可信计算 安全逻辑系统 信任链 可信度量根 实体依赖 轻量虚拟机监控器 中图分类号 文献标志码 文章编号 构建满足 定义的可信计算 信计算环境建模的基础 而对于具体的可信计算环境的形式 环境系统既需要软件的支持也需要硬件的支持 具备一定物 化描述由于其理论具有很大的局限性所以难以在目前的可 理防护能力的计算平台称为可信计算平台它是构建可信计算 信计算领域中得到广泛的应用 环境的硬件基础 该平台主要有两种实现方式一种是仅依靠 针对以上问题本文在分析实体依赖关系与安全逻辑系 硬件保护的计算平台如 平台和智能卡的使用另一 统 的基础上提出了一个具有一般意义的信任链模型 该 种是基于可信硬件通过软件扩展的计算平台如基于 模型解决了一个可信计算平台的外部实体或该可信计算平台 或者动态可信度量根的计算平台 这两种实现方式的主 的用户怎样判断该可信计算平台上的某一个实体或整个可信 要区别是计算平台根据安全防护等级和成本消耗等对其所需 计算环境是可信的问题以及如何分解可信计算环境的实体功 软件和硬件进行了不同的分工 因此每个可信计算环境都是 能和传递实体的可信信息的问题等 基于实体的真实性能够 由一系列相互影响的实体或模块构成 信任链构建和传递的 没有损失地度量实体行为的可信性的条件该模型形式化描述 核心思想是将整个系统分解成一系列相关的实体允许一些实 了可信状态可信根和可信度量的定义 体去检验其他的实体 然而针对如何分解配置如何检验实 相关研究 体允许哪一个或哪一些实体进行完整性检查以及为何需要 信任这些实体等问题与可信计算平台的软硬件架构相关不 基于可信赖计算语境的模型 可信赖计算产生于容错 同的可信计算平台有不同的实现方式 计算主要用来解决计算机软硬件系统从开发到使用整个生命 目前在可信计算领域中其技术的发展超前于其理论研