-
题名基于扩展LS^2的可信虚拟平台信任链分析
被引量：10
- 1
-
-
作者
常德显
冯登国
秦宇
张倩颖
-
机构
中国科学院软件研究所
中国科学院研究生院
解放军信息工程大学三院
-
出处
《通信学报》
EI
CSCD
北大核心
2013年第5期31-41,共11页
-
基金
国家自然科学基金资助项目(91118006
61202414)
国家重点基础研究发展计划('973'计划)基金资助项目(2013CB338003)~~
-
文摘
针对可信虚拟平台信任链的形式化分析问题,建立了包括虚拟机和虚拟信任根在内的可信虚拟平台完整的信任链模型,并详细定义其应满足的信任属性,通过扩展LS2,验证了可信虚拟平台信任链模型能够有条件地满足其正确性、唯一性。对实例系统分析表明本文所建立信任链模型的通用性及基于扩展LS2分析方法的有效性。
-
关键词
可信计算
可信虚拟平台
安全系统逻辑
信任链
虚拟信任根
-
Keywords
trusted computing
trusted virtualization platform
logic of secure system
trust chain
virtual root of trust
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于硬件虚拟化TCM的信任链扩展方法
被引量：2
- 2
-
-
作者
刘明达
周懿
拾以娟
-
机构
江南计算技术研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2019年第1期117-120,共4页
-
基金
国家科技重点专项"核高基"项目(2013ZX01029002-001)资助
-
文摘
本文团队曾提出基于硬件虚拟化技术构建虚拟化TCM的方法,并设计了硬件虚拟化TCM支撑的可信虚拟环境,但是并未对信任链的扩展提出详细的方案.基于此研究成果,提出了硬件虚拟化TCM支撑下的虚拟环境信任链扩展的方法,对信任链扩展的详细过程进行描述,构建了从p TCM到虚拟机的完整信任关系,并提出虚拟机与可信计算基绑定的方案.实验分析表明,本文方案能够在新型可信虚拟环境中实现信任链的扩展,有效增强计算环境安全,系统开销可接受.
-
关键词
可信计算
虚拟计算平台
虚拟信任根
信任链
-
Keywords
trusted computing
virtual trusted platform
virtual TCM
trust chain
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
