论文部分内容阅读
搜索和传染是病毒程序的两种典型模式,本文通过分析这两种典型行为,总结出病毒程序的语义特征,在此基础上提出了一种针对未知病毒的检测方法。该方法应用逻辑程序及其稳定模型的理论,制定符合要求的语义规则,构造目标程序流程图,利用流程图实例化语义规则,最后求解其稳定模型，依据稳定模型中的元素来判断目标程序是否含有病毒。