一种基于无干扰模型的信任链传递分析方法

• 作者: 张兴 沈昌祥 黄强
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 可信计算 信任链 无干扰模型 安全策略
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 74-81
• 页数: 8页
• 分类号: TP309
• 字数: 7654字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.00074

摘要

基于可信计算组织(TCG)的完整性度量只能保证组件没有被篡改,但不一定能保证系统运行可信性.其问题在于,当组件运行时,受其它组件的干扰,出现非预期的信息流,破坏了信任链传递的有效性.文章在分析可信计算平台的信任模型基础上,基于无干扰理论模型,提出了一种分析和判定可信计算平台信任链传递的方法,用形式化的方法证明了当符合非传递无干扰安全策略时,组件之间的信息流受到安全策略的限制,隔离了组件之间的干扰,这样用完整性度量方法所建立的信任链才足有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈昌祥	信息工程大学电子技术学院	85	1836	20.0	41.0
3	张兴	信息工程大学电子技术学院	18	185	7.0	13.0
7	黄强		3	89	3.0	3.0