| 基于实体依赖关系的信任链模型与构建机制 |
| |
| 引用本文： | 程戈,李聪,张云.基于实体依赖关系的信任链模型与构建机制[J].计算机应用研究,2015,32(6). |
| |
| 作者姓名： | 程戈 李聪 张云 |
| |
| 作者单位： | 1. 湘潭大学数学与计算科学学院,湖南湘潭,411105
2. 湘潭大学信息工程学院,湖南湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金青年项目，湘潭大学科研启动费资助项目 |
| |
| 摘 要： | 信任链的建立和传递是构建可信计算环境的核心,然而,当前的信任链模型仅仅是针对具体的可信计算环境进行的形式化建模,其不具有一般意义,不能够为构建可信计算环境(特别是基于动态可信度量根(DRTM)的可信环境)提供理论方面的指导,也难以胜任评估现有的可信计算环境的重任.为了解决上述问题,进而构建一个具有一般意义的信任链模型.首先将信任链模型转换为数学模型,然后,在分析实体依赖关系和安全逻辑系统的基础上,采用了数学逻辑的证明方法证明了该信任链模型满足的性质.该模型不仅可以评估现有的可信计算平台(包括基于静态可信度量根(SRTM)的可信计算平台和DRTM的可信计算平台),还可以为进一步研究信任链构建和可信计算环境构建等提供理论上的参考.
|
| 关 键 词： | 可信计算 安全逻辑系统 信任链 可信度量根 实体依赖 轻量虚拟机监控器 |
Analyzing chain of trust model based on entity dependence |
| |
| Cheng Ge,Li Cong,Zhang Yun.Analyzing chain of trust model based on entity dependence[J].Application Research of Computers,2015,32(6). |
| |
| Authors: | Cheng Ge Li Cong Zhang Yun |
| |
| Abstract: | |
| |
| Keywords: | trusted computing logic of secure system chain of trust root of trust measurement entity dependence LVMM |
| 本文献已被 万方数据 等数据库收录！ |
|
