基于程序執(zhí)行流構(gòu)建入侵模型的研究.pdf

1、對網(wǎng)絡(luò)入侵過程的自動重構(gòu)無論對可信軟件在不可靠/不安全環(huán)境中的演化、保護還是對惡意環(huán)境的分析與檢測都具有重要用途。由于入侵過程日趨復(fù)雜，自動重構(gòu)與其入侵機制相一致的動態(tài)攻擊模型對實現(xiàn)可信軟件的保護和安全演化尤為重要。
　　 目前被廣泛應(yīng)用的網(wǎng)絡(luò)入侵模型中大部分屬靜態(tài)模型，它們都有這樣的特點：主要針對入侵特例，例如典型的特征(signature)匹配模型，對變體入侵需要重新建模，適應(yīng)性差。所表達的入侵特征上下文無關(guān)，例如絕大多數(shù)消

2、息特征僅針對單一消息(如一個完整的IP分組)，難以準確表達出那些分步驟實施入侵的復(fù)雜的動態(tài)入侵過程。事實上，目前應(yīng)用的大多數(shù)入侵模型等價于正規(guī)表達式，由此不難看出其能力上的局限。絕大多數(shù)模型的建模依據(jù)是入侵消息流本身，很少同時考慮受害程序(在被入侵期間的)行為，使這類模型所表達的入侵特征局限于所觀測到的會話實例，難以用來識別相近的入侵行為，這些相近的入侵行為可能有很不相同的消息特征但卻有完全相同的攻擊目的。絕大部分實用的入侵模型仍需分析

3、人員手工建立，因此需要實質(zhì)性地發(fā)展準確而有效的自動建模技術(shù)，特別是在入侵手段快速擴散的情況下尤其必要。
　　 本文建立一種重構(gòu)網(wǎng)絡(luò)入侵模型的有效方法，依據(jù)入侵實例中所記錄的入侵過程的消息流及受害軟件實際執(zhí)行的指令流，通過反編譯并應(yīng)用改進的形式分析及驗證技術(shù)構(gòu)建出充分一般的入侵模型。與目前絕大多數(shù)基于獨立消息特征(signature)的入侵模型不同，該模型能精確給出惡意消息上下文之間的關(guān)聯(lián)模式，表達出入侵過程的動態(tài)特征，效率可行并