计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
6期
93-97
,共5页
模型检测%克里普克结构%控制流%系统状态%标记函数
模型檢測%剋裏普剋結構%控製流%繫統狀態%標記函數
모형검측%극리보극결구%공제류%계통상태%표기함수
恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足.使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统.通过对模型检验技术和克里普克结构的研究分析,提出了一种以完整控制流信息为基础、采用贪婪归一策略的克里普克迁移系统生成方法.测试分析表明,利用该方法生成的迁移系统可以完整地描述控制流信息,也可以精确地刻画系统状态的改变.
噁意程序檢測是信息安全技術研究的重要內容,基于程序行為特徵的檢測可以瀰補二進製特徵碼檢測方法的很多不足.使用模型檢驗技術可以對程序的操作行為做屬性驗證,它需要對目標程序進行建模,得到一箇符閤剋裏普剋結構的遷移繫統.通過對模型檢驗技術和剋裏普剋結構的研究分析,提齣瞭一種以完整控製流信息為基礎、採用貪婪歸一策略的剋裏普剋遷移繫統生成方法.測試分析錶明,利用該方法生成的遷移繫統可以完整地描述控製流信息,也可以精確地刻畫繫統狀態的改變.
악의정서검측시신식안전기술연구적중요내용,기우정서행위특정적검측가이미보이진제특정마검측방법적흔다불족.사용모형검험기술가이대정서적조작행위주속성험증,타수요대목표정서진행건모,득도일개부합극리보극결구적천이계통.통과대모형검험기술화극리보극결구적연구분석,제출료일충이완정공제류신식위기출、채용탐람귀일책략적극리보극천이계통생성방법.측시분석표명,이용해방법생성적천이계통가이완정지묘술공제류신식,야가이정학지각화계통상태적개변.
