一种基于语义的恶意行为分析方法  

A Malicious Behavior Analysis Method Based on Program Semantic

作　　者：李佳静[1] 梁知音[1] 韦韬[1] 毛剑[1] 

机构地区：[1]北京大学计算机科学技术研究所,北京100871

出　　处：《北京大学学报（自然科学版）》2008年第4期537-542,共6页Acta Scientiarum Naturalium Universitatis Pekinensis

基　　金：国家“863”计划(2006AA01Z402);电子发展基金(信部运[2006]634号)资助项目

摘　　要：提出了一种基于语义的恶意行为分析方法,可以对基于函数调用的攻击进行完整刻画,支持流敏感、上下文敏感且路径敏感的函数间分析。与现有方法相比可以更加准确地描述全局状态中的基于函数调用的攻击行为。针对多个恶意程序和应用程序的分析表明,该方法可以有效地识别代码中的恶意行为。A semantic based method is presented to analyze malicious behavior in software, with more precise description of function call based attacks, and flow sensitive, context sensitive and path sensitive inter-procedure analysis ability. Experiments on malicious and benign programs show that it is effective to identify malicious behavior in software.

关 键 词：恶意代码分析 代码混淆 模型检验 信息安全 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]