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

Taint Trace with Noninterference Based Approach for Software Trust Analysis

作　　者：陈曙[1] 叶俊民[1] 张帆[2] 

机构地区：[1]华中师范大学计算机学院,武汉430079 [2]杭州电子科技大学通信工程学院,杭州310018

出　　处：《计算机科学》2013年第5期184-188,共5页Computer Science

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

摘　　要：以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列。利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信,并给出了调用序列可信性判定定理。A model for software trust analysis was proposed based on taint data trace and noninterference theory. This approach extracts core operation system APIs that may cause un-trusted behaviors by tracing taint data imported from outside of software environment. These APIs forms a taint dependency behavior model and imports information flow model to analyse whether it is trusted. Theorem for the trust determinant is also improved.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]