可信计算平台信任链安全性分析

• 作者: 严飞 张焕国 徐明迪 李峻林 赵恒
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 信任链 安全进程代数 可复合的不可演绎模型
• 年，卷（期）: 2010,（7）
• 页码范围: 1165-1176
• 分类号: TP309
• 字数: 9580字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.01165

摘要

可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文中通过安全进程代数对信任链系统接口进行形式化建模,用可复合的不可演绎模型刻画信任链实体间的交互关系,把规范定义的信任链行为特性抽象为多级安全输入输出集,在讨论高级和低级输入输出依赖关系的基础之上,对信任链复合系统进行信息流分析,并给出结论和证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张焕国	武汉大学计算机学院	244	4083	31.0	56.0
2	严飞	武汉大学计算机学院	20	427	7.0	20.0
3	徐明迪		21	141	7.0	11.0
4	李峻林		20	216	6.0	14.0
5	赵恒		1	48	1.0	1.0