資源描述：
《基于petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析分類(lèi)號(hào)：TP393密級(jí)：公開(kāi)UDC：?jiǎn)挝淮a：10424學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析楊永強(qiáng)申請(qǐng)學(xué)位級(jí)別：碩士學(xué)位專(zhuān)業(yè)名稱(chēng)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師姓名：禹農(nóng)職稱(chēng)：教授山東科技大學(xué)二零零六年六月山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析論文題目：基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析作者姓名：楊永強(qiáng)入學(xué)時(shí)間：2003年9月專(zhuān)業(yè)名稱(chēng)：計(jì)算機(jī)應(yīng)用技術(shù)研究方向：網(wǎng)絡(luò)工程與MIS指導(dǎo)教師：禹農(nóng)職稱(chēng)：教授論文提交日期：2006年5月論文答辯日期：2006年
2、6月授予學(xué)位日期：山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析THEANALYSISOFPROTOCOLSBASEDONPETRINETSADissertationsubmittedinfulfillmentoftherequirementsofdegreeofMASTEROFPHILOSOPHYfromShandongUniversityofScienceandTechnologybyYangYongqiangSupervisor:ProfessorYuNongCollegeofInformati
3、onScienceandTechnologyJun,2006山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析聲明本人呈交給山東科技大學(xué)的這篇碩士學(xué)位論文，除了所列參考文獻(xiàn)和世所公認(rèn)的文獻(xiàn)外，全部是本人在導(dǎo)師的指導(dǎo)下的研究成果。該論文尚沒(méi)有呈交于其它任何學(xué)術(shù)機(jī)關(guān)作鑒定。研究生簽名：日期：AFFIRMATIONIdeclarethatthisdissertation，submittedinfulfillmentoftherequirementsfortheawardofMasterofScience，inS
4、handongUniversityofScienceandTechnology，iswhollymyownworkunlessreferencedofacknowledge．Thedocumenthasnotbeensubmittedforqualificationatanyotheracademicinstitute．Signature：Date：山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析摘要密碼協(xié)議安全性分析是網(wǎng)絡(luò)安全的一個(gè)難題，從20世紀(jì)30年代到現(xiàn)在，運(yùn)用形式化方法對(duì)安全協(xié)議進(jìn)行分析一直是
5、計(jì)算機(jī)安全領(lǐng)域的研究熱點(diǎn)。并產(chǎn)生了一些比較有影響的驗(yàn)證方法，如Ban邏輯方法、GSP方法、串空間模型方法、Paulson歸納法、Petri網(wǎng)方法等。形式化分析由于其精煉、簡(jiǎn)潔和無(wú)二義性逐步成為分析密碼協(xié)議的一條可靠和準(zhǔn)確的途徑。本文主要研究了基于顏色Petri網(wǎng)的密碼協(xié)議分析方法，開(kāi)展了以下方面的研究工作:（1）對(duì)常見(jiàn)的密碼協(xié)議進(jìn)行了總結(jié)，闡述了各自的特點(diǎn)。（2）用顏色Petri網(wǎng)作為工具來(lái)分析密碼協(xié)議，并且給出了用它分析密碼協(xié)議的具體方法和步驟。（3）用顏色Petri網(wǎng)模型對(duì)具體的三個(gè)密碼協(xié)議進(jìn)行了分析，并
6、對(duì)密碼協(xié)議的一類(lèi)攻擊的特點(diǎn)做出了概括。關(guān)鍵字：安全協(xié)議密碼協(xié)議形式化分析顏色Petri網(wǎng)模型檢測(cè)山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析AbstractItisahardproblemtoanalyzecryptographicprotocolintheareaofcomputernetworksecurity.From1970s,usingformalmethodstoanalyzecryptographicprotocolsremainsthekeyissueinthefieldofcomp
7、utersecurity.Therehavebeenmanyeffectivemethods,suchasBanlogic,CSP,strandspaces,Paulson’sinductivesetofrules,andPetrinetsmethods,etc.Becauseofitscompactness,finenessandunambiguity,formalanalysisofcryptographicprotocolhasbeenanefficientandcorrectmethodstepbys
8、tep.ThedissertationmainlydiscussesusingformalmethodsforevaluationofcryptographicprotocolsbasedonColoredPetriNet(CPN),Themainresultsthattheauthorobtainedareasfollows:(1)Thethesisreviewsnormalcryptograph
