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

• 作者: 张云 李聪 程戈
• 来源期刊: 计算机应用研究
• 关键词: 可信计算 安全逻辑系统 信任链 可信度量根 实体依赖 轻量虚拟机监控器
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 信息安全技术
• 页码范围: 1801-1805
• 页数: 5页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.06.044

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程戈	湘潭大学数学与计算科学学院	4	17	2.0	4.0
2	李聪	湘潭大学数学与计算科学学院	7	11	1.0	3.0
3	张云	湘潭大学信息工程学院	2	5	1.0	2.0