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

• 作者: 叶俊民 张帆 陈曙
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 可信计算 污点分析 无干扰
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 184-188
• 页数: 5页
• 分类号: TP309
• 字数: 6715字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶俊民	华中师范大学计算机学院	85	454	11.0	16.0
2	张帆	杭州电子科技大学通信工程学院	19	112	7.0	10.0
3	陈曙	华中师范大学计算机学院	25	93	5.0	8.0