【摘要】 对形式化语义在启发式病毒检测引擎上的应用进行了研究,分析了基于虚拟机技术的反病毒检测引擎的效率问题及启发式病毒检测引擎,发现其规则的选取对病毒判断的准确率影响很大,提出基于形式化语义的启发式病毒检测引擎.进行了计算机病毒语义关系框架及数据结构的设计,通过深入剖析不同病毒程序传染部分的代码结构,总结出病毒程序的典型语义特征,形成描述其典型语义特征的语义关系框架;在检测时抽取蕴涵在待检程序中的语义,进而建立描述程序语义关系框架;计算二者的匹配程度来确定程序是否含有恶意程序,从而达到检测未知病毒的目的.更多还原

【Abstract】 Because Virtual Machine technologe and Anti-Virus Engine Based on Heuristic have Obvious blemish in virus scanning,on at analysis Program Semantic and Virus Semantic Foundation are put forward based on semantic Anti-Virus Engine Based on Heuristic.By thoroughly analyzing different virus procedure to infect part of code structure,this paper has found typical semantic characteristic Program semantic;by thoroughly analyzing semantic in Program,the paper has found typical semantic characteristic Program semantic.Besides,two similar degrees are thoroughly compared with each other to judge whether a program is a virus.更多还原