資源描述：
《基于petri網(wǎng)的網(wǎng)絡(luò)入侵檢測(cè)研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、萬(wàn)方數(shù)據(jù)分類號(hào)：TP391密級(jí)：(秘密、機(jī)密、絕密)學(xué)校代碼：10057研究生學(xué)號(hào)：09834002基于Petri網(wǎng)的網(wǎng)絡(luò)入侵檢測(cè)研究TheResearchofInstrusionDetectionBasedonPetriNets專業(yè)名稱：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師姓名：李孝忠教授研究生姓名：侯仁平申請(qǐng)學(xué)位級(jí)別：工學(xué)碩士論文提交日期：2014年03月論文課題來(lái)源：國(guó)家自然科學(xué)基金學(xué)位授予單位：天津科技大學(xué)天津科技大學(xué)嗍鼎萬(wàn)方數(shù)據(jù)學(xué)位論文原創(chuàng)性聲明本人鄭重聲明：所呈交的論文是本人在導(dǎo)師的指導(dǎo)下獨(dú)立進(jìn)行研究工作所取得的成果。除文中特別加以標(biāo)注引用的內(nèi)容外，本論文不
2、包括任何其他個(gè)人或集體己經(jīng)發(fā)表或撰寫(xiě)的成果內(nèi)容，也不包括為獲得天津科技大學(xué)或其它教育機(jī)構(gòu)的學(xué)位或證書(shū)而使用過(guò)的材料。對(duì)本文研究做出重要貢獻(xiàn)的個(gè)人和集體，均已在文中以明確方式標(biāo)明。本人完全意識(shí)到本聲明的法律后果由本人承擔(dān)。作者簽名：鈣晰日期：邳蚪年≥月7D日知識(shí)產(chǎn)權(quán)和專利權(quán)保護(hù)聲明本人鄭重聲明：所呈交的論文是本人在導(dǎo)師具體指導(dǎo)下并得到相關(guān)研究經(jīng)費(fèi)支持下完成的，其數(shù)據(jù)和研究成果歸屬于導(dǎo)師和作者本人，知識(shí)產(chǎn)權(quán)單位屬天津科技大學(xué)；所涉及的創(chuàng)造性發(fā)明的專利權(quán)及使用權(quán)完全歸天津科技大學(xué)所有。本人保證畢業(yè)后，以本論文數(shù)據(jù)和資料發(fā)表論文或使用論文工作成果時(shí)署名第一單位仍然
3、為天津科技大學(xué)。本人完全意識(shí)到本聲明的法律后果由本人承擔(dān)。作者簽名：嚆辯日期：二旬I‘卜年3月fp日學(xué)位論文版權(quán)使用授權(quán)書(shū)本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位論文的規(guī)定，同意學(xué)校保留并向國(guó)家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和電子版，同意公布論文的全部或部分內(nèi)容，允許論文被查閱和借閱。本人授權(quán)天津科技大學(xué)可以將本學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存和匯編本學(xué)位論文。保密Il(請(qǐng)?jiān)诜娇騼?nèi)打“、／”)，在年解密后適用本授權(quán)書(shū)。本學(xué)位論文屬于不保密曰(請(qǐng)?jiān)诜娇騼?nèi)打“√”)。作者簽名：侯仁平日期：知f十年3月f
4、D日刷醛各砒醐：州年)月萬(wàn)方數(shù)據(jù)摘要隨著計(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)典Petfi網(wǎng)模型存在著狀態(tài)空間“爆炸”和缺乏分析系
5、統(tǒng)性能的數(shù)學(xué)方法等問(wèn)題，而著色Pelri網(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ò)引入安全策略域和域間通信信道的概念
6、，結(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ǔ)。關(guān)鍵詞：網(wǎng)絡(luò)入侵：著色Pelri網(wǎng)：隨機(jī)Pelri網(wǎng)；安全策略域；域間通信信道萬(wàn)方數(shù)據(jù)ABSTRACTWiththepopularityofcomputernetwork，theintrusionbehavior,suchascomputervirusattacks，isthegreatthreattothesecurityofthenetwork．Toenhancetheabilit
7、yoftheInternetagainstvirusinvasion，itisnecessarytodeeplyunderstandthetransmissionmechanismofinvasionbehaviorofcomputervirusontheIntemet．BasedonfullyunderstandingthecharacteristicsofInteractnetwork，toestablishthemathematicalmodelofnetworkintrusionandanalyzethetransmissionmechanismi
8、sanimportantcomponentofnetworksec
