基于程序語(yǔ)義的Win32 PE病毒檢測(cè)方法研究.pdf

1、隨著科學(xué)技術(shù)的不斷創(chuàng)新，計(jì)算機(jī)病毒技術(shù)也越來(lái)越多樣化。為了對(duì)抗變幻莫測(cè)的計(jì)算機(jī)病毒，反病毒技術(shù)也隨之發(fā)展起來(lái)。目前已經(jīng)存在多種先進(jìn)的反病毒技術(shù)，如虛擬機(jī)技術(shù)、啟發(fā)式代碼掃描技術(shù)、主動(dòng)內(nèi)核技術(shù)等等。這些技術(shù)各有特點(diǎn)，但應(yīng)用起來(lái)都存在一些缺陷。相對(duì)而言，計(jì)算機(jī)病毒技術(shù)領(lǐng)先于反病毒技術(shù)，因此如何及時(shí)快速地檢測(cè)出完全未知的新病毒是目前需要迫切解決的問(wèn)題。 為解決這一問(wèn)題，論文從程序語(yǔ)義層的角度對(duì)未知病毒的檢測(cè)作了較為深入的研究，通過(guò)對(duì)W

2、in32 PE病毒的分析，提出了兩種檢測(cè)計(jì)算機(jī)未知病毒的方法。一是基于穩(wěn)定模型的檢測(cè)方法，二是基于邏輯語(yǔ)義流圖的檢測(cè)方法。 基于穩(wěn)定模型的檢測(cè)方法應(yīng)用邏輯程序和穩(wěn)定模型原理，根據(jù)總結(jié)出的PE病毒的傳染機(jī)制，制定出符合要求的語(yǔ)義規(guī)則，然后構(gòu)造目標(biāo)程序的邏輯流圖，利用邏輯流圖實(shí)例化語(yǔ)義規(guī)則，最后求解目標(biāo)程序的穩(wěn)定模型。所求的穩(wěn)定模型是一個(gè)答案集，根據(jù)答案集中元素及元素間關(guān)系就可以判斷目標(biāo)程序中是否含有病毒。 基于邏輯語(yǔ)義流圖