【摘要】：在當(dāng)前網(wǎng)絡(luò)化環(huán)境下，軟件行為建模在系統(tǒng)入侵檢測、可信軟件領(lǐng)域中均具有非常重要的應(yīng)用，它能為異常行為的發(fā)掘和捕獲提供支持。盡管目前軟件行為建模技術(shù)研究已經(jīng)較為深入，針對各種情形狀態(tài)的模型也層出不窮，但其中缺少一種應(yīng)用面較寬的軟件行為模型。本文針對上述不足從當(dāng)前網(wǎng)絡(luò)化軟件系統(tǒng)的發(fā)展現(xiàn)狀出發(fā)，提出了一種新的網(wǎng)絡(luò)化軟件行為模型-通用行為過程模型GBMP(General Behavior Process Model)，給出了相應(yīng)的模型構(gòu)建方法，并在此基礎(chǔ)上結(jié)合Petri網(wǎng)和GBMP建模方法進(jìn)行了相應(yīng)的軟件行為建模。 本文的主要研究工作如下： （1）提出了軟件通用行為過程模型GBMP。在基于事件實(shí)例層面上建立起來的通用軟件行為過程模型考慮了以往行為模型適用面不寬和入侵行為檢測時的較高誤報率的情形，它以事件實(shí)例為基本元素，動態(tài)訓(xùn)練數(shù)據(jù)，建立了一個實(shí)用性較強(qiáng)的軟件行為模型。 （2）提出了GBMP模型的構(gòu)建方法，，并對該模型進(jìn)行了相關(guān)仿真實(shí)驗(yàn)。首先設(shè)計和實(shí)現(xiàn)了通用行為過程模型的構(gòu)建算法，并對該模型與基于對象的軟件行為模型在軟件行為入侵檢測方面進(jìn)行了仿真對比實(shí)驗(yàn)，實(shí)驗(yàn)結(jié)果表明該模型較基于對象的軟件行為模型在執(zhí)行效率、誤報率、報警率和預(yù)警率四個方面具有較好的優(yōu)越性。然后結(jié)合Petri網(wǎng)方法和通用行為過程建模方法建立了軟件行為模型，并對模型中軟件行為進(jìn)行了合理性分析，驗(yàn)證了所建立模型的完備性和準(zhǔn)確性。 （3）軟件行為模型原型系統(tǒng)的設(shè)計與實(shí)現(xiàn)。針對所構(gòu)建的通用行為過程模型方法，結(jié)合過程挖掘的思想設(shè)計并實(shí)現(xiàn)了一個簡單的行為模型原型系統(tǒng)，并對該系統(tǒng)的可行性和實(shí)用性進(jìn)行了分析和驗(yàn)證。
【圖文】：

圖 2-1 模型執(zhí)行效率對比上述仿真對比圖中可以很明顯地看出在輸入數(shù)據(jù)量低于 3000 條時，G SBO 模型的執(zhí)行時間大致相同，相差不大。但是此后隨著數(shù)據(jù)量的增型算法的執(zhí)行時間顯著上升，而且上升幅度較大，當(dāng)數(shù)據(jù)量達(dá)到 800值時，其模型算法執(zhí)行時間幅度顯著放緩，但時間值也達(dá)到了一個較，接近 750 秒上下。而與之相對比的是 GBMP 算法隨著數(shù)據(jù)量的上升間盡管也是增加的，但其上升幅度明顯較平緩。當(dāng)數(shù)據(jù)量達(dá)到 8000 條 10000 條時，其最大執(zhí)行時間也只是達(dá)到 50 秒。GBMP 模型算法的執(zhí)據(jù)線整體為一條平滑的曲線。所以，從對比圖上我們可以明顯地看出G法較 SBO 模型算法在執(zhí)行效率上具有明顯的優(yōu)勢。于 SBO 模型在檢測軟件的異常行為時是以程序作為監(jiān)控對象進(jìn)行調(diào)用一條條進(jìn)程作為操作對象，而 GBMP 模型在同等的條件下卻是以軟件運(yùn)日志中分解得到的事件實(shí)例作為對象進(jìn)行調(diào)用，在單個數(shù)據(jù)的容量上小數(shù)據(jù)對象，其具有明顯的優(yōu)勢，而 SBO 模型的進(jìn)程相比較而言確實(shí)

碩士學(xué)位論文等，其執(zhí)行時間會不再顯著變化，而是停留在一個相對穩(wěn)定的水 模型的執(zhí)行過程呈現(xiàn)出一個明顯的穩(wěn)態(tài)水平，最根本原因就在于用了事件實(shí)例作為操作對象，顯著減少了數(shù)據(jù)容量的大小，使得據(jù)量的條件下，完成時間大大減少。仿真對比實(shí)驗(yàn)也證明了我們P 模型比 SBO 模型具有更高的執(zhí)行效率，所以在 SBO 模型可以應(yīng)用行為檢測領(lǐng)域，我們同樣可以證明 GBMP 模型在整體性能上也將具。我們對上述兩個模型在模型的誤報率方面進(jìn)行了仿真對比實(shí)驗(yàn)，示：
【學(xué)位授予單位】：湖南工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP393.08;O157.5

【參考文獻(xiàn)】

相關(guān)期刊論文 前6條

1 丁學(xué)雷;王懷民;王元元;盧剛;;面向驗(yàn)證的軟件可信證據(jù)與可信評估[J];計算機(jī)科學(xué)與探索;2010年01期

2 李聞;戴英俠;連一峰;馮萍慧;;基于混雜模型的上下文相關(guān)主機(jī)入侵檢測系統(tǒng)[J];軟件學(xué)報;2009年01期

3 李明樹;楊秋松;翟健;;軟件過程建模方法研究[J];軟件學(xué)報;2009年03期

4 傅建明;陶芬;王丹;張煥國;;基于對象的軟件行為模型[J];軟件學(xué)報;2011年11期

5 ;DESIGN METHODOLOGY OF NETWORKED SOFTWARE EVOLUTION GROWTH BASED ON SOFTWARE PATTERNS[J];Journal of Systems Science & Complexity;2006年02期

6 滿君豐;楊路明;李長云;文志誠;;軟件交互行為的可信性分析與態(tài)勢預(yù)測研究[J];小型微型計算機(jī)系統(tǒng);2009年11期

相關(guān)博士學(xué)位論文 前1條

1 王紅春;網(wǎng)絡(luò)化軟件多粒度動態(tài)特性分析[D];武漢大學(xué);2010年

本文編號：2555972