《计算机学报》文章摘要   全文下载
文章题目	一种基于无干扰模型的信任链传递分析方法
作者	张兴1)，2) 黄强3) 沈昌祥1)，3)
作者单位	1)(信息工程大学电子技术学院 郑州 450004) 2)(北京工业大学计算机学院 北京 100022) 3)(海军计算技术研究所 北京 100036)
发表年份	2010
发表月份	1期(74—81)
文章摘要	摘要 基于可信计算组织(TCG)的完整性度量只能保证组件没有被篡改，但不一定能保证系统运行可信性.其问题在于，当组件运行时，受其它组件的干扰，出现非预期的信息流，破坏了信任链传递的有效性.文章在分析可信计算平台的信任模型基础上，基于无干扰理论模型，提出了一种分析和判定可信计算平台信任链传递的方法，用形式化的方法证明了当符合非传递无干扰安全策略时，组件之间的信息流受到安全策略的限制，隔离了组件之间的干扰，这样用完整性度量方法所建立的信任链才是有效的. 关键词 可信计算；信任链；无干扰模型； 安全策略 中图法分类号 TP309 DOI号: 10.3724/SP.J.1016.2010.00074