《计算机学报》文章摘要   全文下载
文章题目	可信计算平台信任链安全性分析
作者	徐明迪 张焕国 赵恒 李峻林 严飞
作者单位	(武汉数字工程研究所 武汉 430074) (武汉大学计算机学院 武汉 430072) (空天信息安全与可信计算教育部重点实验室 武汉 430072)
发表年份	2010
发表月份	7期(1165—1176)
文章摘要	摘要 可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文中通过安全进程代数对信任链系统接口进行形式化建模,用可复合的不可演绎模型刻画信任链实体间的交互关系,把规范定义的信任链行为特性抽象为多级安全输入输出集,在讨论高级和低级输入输出依赖关系的基础之上,对信任链复合系统进行信息流分析,并给出结论和证明. 关键词 信任链；安全进程代数；可复合的不可演绎模型 中图法分类号 TP309 DOI号: 10.3724/SP.J.1016.2010.01165