面向惡意軟件檢測的軟件可信驗證.pdf

1、近年來,惡意軟件的數(shù)量呈現(xiàn)出指數(shù)式的增長趨勢,因惡意軟件導致的安全事件頻頻發(fā)生,給國家發(fā)展和社會穩(wěn)定帶來巨大問題。因此,對惡意軟件檢測技術的研究已成為一項重要課題。
　　 本文認為,造成惡意軟件泛濫的根源在于軟件的可信問題。本文應用系統(tǒng)科學的觀點提出了軟件可信驗證的概念,建立了軟件多點可信驗證模型,指出在開放、動態(tài)的因特網環(huán)境下,軟件的可信屬性包括軟件特征可信、來源(身份)可信、能力(行為)可信和運行環(huán)境可信。分析了軟件特征可信

2、、身份可信、能力可信等已有的單點驗證技術的原理、實現(xiàn)、應用及存在的問題。
　　 本文重點研究了軟件行為可信驗證,提出了軟件行為可信驗證模型,該模型借助于虛擬環(huán)境,捕獲軟件在安裝、啟動和運行階段的行為特征,然后結合規(guī)則挖掘工具——概念格技術,提取出軟件行為規(guī)則,從而對待驗證軟件的可信性做出評定。
　　 由于本文對惡意軟件的防御策略是基于惡意軟件的行為,文中對惡意軟件作了新的分類,并對惡意軟件的行為特征做了全面的研究,總結了

3、2009年度我國十大流行惡意軟件,并分析了其典型的行為特征。我們建立了軟件行為特征庫,這為軟件行為可信驗證提供了基礎。
　　 為了從軟件行為特征庫中提取出有用的軟件行為規(guī)則,本文應用了概念格相關理論和建格算法、規(guī)則提取和剪枝算法等,并以目前流行的惡意軟件和正常軟件行為特征庫為實驗數(shù)據,依據建格算法對軟件行為建格,并建立Hasse圖,以提取出簡潔、實用的軟件行為規(guī)則,實現(xiàn)軟件的可信驗證。
　　 作者最終實現(xiàn)了一個面向惡意軟