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

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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

本文編號(hào)：2555972