首页>成果
高级检索
[期刊论文]
一种基于无干扰模型的信任链传递分析方法
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
作者：
收录：
摘要：
基于可信计算组织(TCG)的完整性度量只能保证组件没有被篡改,但不一定能保证系统运行可信性.其问题在于,当组件运行时,受其它组件的干扰,出现非预期的信息流,破坏了信任链传递的有效性.文章在分析可信计算平台的信任模型基础上,基于无干扰理论模型,提出了一种分析和判定可信计算平台信任链传递的方法,用形式化的方法证明了当符合非传递无干扰安全策略时,组件之间的信息流受到安全策略的限制,隔离了组件之间的干扰,这样用完整性度量方法所建立的信任链才是有效的.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
英文标题
英文摘要
翻译关键词
分类号
资助项目类型
项目名称
项目编号
获取号
CNKI:JSJX201001009
语言
中文
通讯作者邮箱
作者信息
相关关键词：
相关文章：
2006，全国第17届计算机科学与技术应用（CACIS）学术会议
2011，2011年青年通信国际会议
2010，
来源 ：
计算机学报
年份： 2010
期： 01
卷： 33
页码： 74-81
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次：
中文被引频次：
近30日浏览量： 2
归属院系：
信息学部 计算机学院
全文获取
外部链接：
