计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
5期
184-188
,共5页
可信计算%污点分析%无干扰
可信計算%汙點分析%無榦擾
가신계산%오점분석%무간우
以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型.该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列.利用完整性条件下的污点信息流无干扰模型来判定构成污点传播的系统调用序列执行时是否可信,并给出了调用序列可信性判定定理.
以無榦擾理論為基礎,提齣瞭一種基于汙點數據流的軟件行為可信分析模型.該模型通過跟蹤程序外部輸入的汙點數據,提取可能引髮繫統不可信的關鍵繫統調用,併建立汙點傳播調用序列.利用完整性條件下的汙點信息流無榦擾模型來判定構成汙點傳播的繫統調用序列執行時是否可信,併給齣瞭調用序列可信性判定定理.
이무간우이론위기출,제출료일충기우오점수거류적연건행위가신분석모형.해모형통과근종정서외부수입적오점수거,제취가능인발계통불가신적관건계통조용,병건립오점전파조용서렬.이용완정성조건하적오점신식류무간우모형래판정구성오점전파적계통조용서렬집행시시부가신,병급출료조용서렬가신성판정정리.
