一种基于污点数据传播和无干扰理论的软件行为可信性分析模型

摘要：

以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型.该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列.利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信,并给出了调用序列可信性判定定理.

关键词：可信计算、污点分析、无干扰

所属期刊栏目：40

分类号：TP309(计算技术、计算机技术)

资助基金：中央高校自主科研基金CCNU11A01012,CCNU11A02007;湖北省自然科学基金2010CDB04001

在线出版日期：2013-07-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：184-188