資源描述：
《基于petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析分類號：TP393密級：公開UDC：單位代碼：10424學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析楊永強(qiáng)申請學(xué)位級別：碩士學(xué)位專業(yè)名稱：計算機(jī)應(yīng)用技術(shù)指導(dǎo)教師姓名：禹農(nóng)職稱：教授山東科技大學(xué)二零零六年六月山東科技大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析論文題目：基于Petri網(wǎng)的網(wǎng)絡(luò)協(xié)議分析作者姓名：楊永強(qiáng)入學(xué)時間：2003年9月專業(yè)名稱：計算機(jī)應(yīng)用技術(shù)研究方向：網(wǎng)絡(luò)工程與MIS指導(dǎo)教師：禹農(nó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)下的研究成果。該論文尚沒有呈交于其它任何學(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ò)安全的一個難題，從20世紀(jì)30年代到現(xiàn)在，運(yùn)用形式化方法對安全協(xié)議進(jìn)行分析一直是
5、計算機(jī)安全領(lǐng)域的研究熱點(diǎn)。并產(chǎn)生了一些比較有影響的驗(yàn)證方法，如Ban邏輯方法、GSP方法、串空間模型方法、Paulson歸納法、Petri網(wǎng)方法等。形式化分析由于其精煉、簡潔和無二義性逐步成為分析密碼協(xié)議的一條可靠和準(zhǔn)確的途徑。本文主要研究了基于顏色Petri網(wǎng)的密碼協(xié)議分析方法，開展了以下方面的研究工作:（1）對常見的密碼協(xié)議進(jìn)行了總結(jié)，闡述了各自的特點(diǎn)。（2）用顏色Petri網(wǎng)作為工具來分析密碼協(xié)議，并且給出了用它分析密碼協(xié)議的具體方法和步驟。（3）用顏色Petri網(wǎng)模型對具體的三個密碼協(xié)議進(jìn)行了分析，并
6、對密碼協(xié)議的一類攻擊的特點(diǎn)做出了概括。關(guān)鍵字：安全協(xié)議密碼協(xié)議形式化分析顏色Petri網(wǎng)模型檢測山東科技大學(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
