發(fā)布時(shí)間：2019-10-09 13:18

【摘要】：隨著計(jì)算機(jī)網(wǎng)絡(luò)的普及,計(jì)算機(jī)病毒攻擊等入侵行為日益突出,對(duì)網(wǎng)絡(luò)的安全構(gòu)成極大威脅。深刻理解計(jì)算機(jī)病毒等入侵行為在互聯(lián)網(wǎng)中的傳播機(jī)理,要增強(qiáng)互聯(lián)網(wǎng)抵御病毒入侵的能力,就有必要在充分認(rèn)知互聯(lián)網(wǎng)的復(fù)雜網(wǎng)絡(luò)特性基礎(chǔ)之上,建立網(wǎng)絡(luò)入侵的數(shù)學(xué)模型并分析其傳播機(jī)理,是計(jì)算機(jī)網(wǎng)絡(luò)安全研究的一個(gè)重要組成部分。 Petri網(wǎng)是一種圖形化、數(shù)學(xué)化的建模語(yǔ)言,采用可視化圖形描述,能表達(dá)具有同步、并發(fā)、沖突的離散事件動(dòng)態(tài)系統(tǒng)的靜態(tài)結(jié)構(gòu)和動(dòng)態(tài)變化,適用于分析網(wǎng)系統(tǒng)靜態(tài)的結(jié)構(gòu)以及仿真時(shí)動(dòng)態(tài)的行為,但經(jīng)典Petri網(wǎng)模型存在著狀態(tài)空間“爆炸”和缺乏分析系統(tǒng)性能的數(shù)學(xué)方法等問(wèn)題,而著色Petri網(wǎng)具有層次化結(jié)構(gòu)特征,在描述系統(tǒng)靜態(tài)模型方面進(jìn)行了比較完整的形式化定義,能同時(shí)用于評(píng)估系統(tǒng)性能、邏輯的正確性和驗(yàn)證系統(tǒng)功能,還能交互地或自動(dòng)地進(jìn)行仿真,因而適于大型系統(tǒng)建模。本文利用著色Petri網(wǎng)建模技術(shù)來(lái)設(shè)計(jì)網(wǎng)絡(luò)入侵系統(tǒng),將復(fù)雜的網(wǎng)絡(luò)入侵系統(tǒng)劃分為幾個(gè)簡(jiǎn)單網(wǎng)絡(luò)子域,從而大大降低了構(gòu)建網(wǎng)絡(luò)模塊的復(fù)雜度,同時(shí)針對(duì)網(wǎng)絡(luò)入侵系統(tǒng)隨機(jī)不可預(yù)測(cè)性,結(jié)合規(guī)則庫(kù),引入隨機(jī)Petri網(wǎng)特性,并通過(guò)對(duì)此模型的仿真分析,得出此模型的相關(guān)特性,為構(gòu)建網(wǎng)絡(luò)入侵系統(tǒng)以及網(wǎng)絡(luò)安全理論的發(fā)展提供了參考。 本文通過(guò)引入安全策略域和域間通信信道的概念,結(jié)合著色和隨機(jī)兩大約束條件,進(jìn)行有界企業(yè)級(jí)網(wǎng)的簡(jiǎn)單網(wǎng)絡(luò)模型建模,簡(jiǎn)化了網(wǎng)絡(luò)模型的建模任務(wù)量,并為宏觀分析網(wǎng)絡(luò)系統(tǒng)提供了實(shí)例模型,同時(shí)也為更進(jìn)一步細(xì)化深入研究奠定了理論基礎(chǔ)。
【學(xué)位授予單位】：天津科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類(lèi)號(hào)】：TP393.08;TP301.1

【參考文獻(xiàn)】

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

1 唐淑君;李肖堅(jiān);屠守中;韋剛;;一種面向攻擊樹(shù)建模的描述語(yǔ)言[J];北京航空航天大學(xué)學(xué)報(bào);2007年12期

2 肖竟華;王熠;;基于攻擊模式的攻擊圖自動(dòng)生成方法研究[J];計(jì)算機(jī)安全;2008年07期

3 邱嵐;譚彬;;安全域劃分研究與應(yīng)用[J];計(jì)算機(jī)安全;2012年06期

4 李波;;入侵檢測(cè)技術(shù)面臨的挑戰(zhàn)與未來(lái)發(fā)展趨勢(shì)[J];電子科技;2007年07期

5 何永明;淺析入侵檢測(cè)系統(tǒng)(IDS)[J];甘肅科技;2005年07期

6 郭仁東;;計(jì)算機(jī)網(wǎng)絡(luò)病毒及其防御探析[J];電腦知識(shí)與技術(shù);2012年30期

7 吳新民;兩種典型的入侵檢測(cè)方法研究[J];計(jì)算機(jī)工程與應(yīng)用;2002年10期

8 周偉;王麗娜;張煥國(guó);;一種基于攻擊樹(shù)的網(wǎng)絡(luò)攻擊系統(tǒng)[J];計(jì)算機(jī)工程與應(yīng)用;2006年24期

9 薛靜鋒,曹元大;Petri網(wǎng)在IDS中的應(yīng)用研究[J];計(jì)算機(jī)工程;2004年15期

10 趙芳芳;陳秀真;李建華;;基于權(quán)限提升的網(wǎng)絡(luò)攻擊圖生成方法[J];計(jì)算機(jī)工程;2008年23期

，

本文編號(hào)：2546797