基于扩展 LS2的可信虚拟平台信任链分析

• 作者: 冯登国 常德显 张倩颖 秦宇
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 可信计算 可信虚拟平台 安全系统逻辑 信任链 虚拟信任根
• 年，卷（期）: 2013,（5）
• 页码范围: 31-41
• 分类号: TP309
• 字数: 10630字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436x.2013.05.004

摘要

针对可信虚拟平台信任链的形式化分析问题,建立了包括虚拟机和虚拟信任根在内的可信虚拟平台完整的信任链模型,并详细定义其应满足的信任属性,通过扩展 LS2,验证了可信虚拟平台信任链模型能够有条件地满足其正确性、唯一性.对实例系统分析表明本文所建立信任链模型的通用性及基于扩展 LS2分析方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所	243	6305	35.0	71.0
2	秦宇	中国科学院软件研究所	15	215	7.0	14.0
3	常德显	中国科学院软件研究所	2	26	2.0	2.0
4	张倩颖	中国科学院软件研究所	4	54	4.0	4.0