基于petri网的网络协议分析

《基于petri网的网络协议分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、山东科技大学硕士学位论文基于Petri网的网络协议分析分类号：TP393密级：公开UDC：单位代码：10424学位论文基于Petri网的网络协议分析杨永强申请学位级别：硕士学位专业名称：计算机应用技术指导教师姓名：禹农职称：教授山东科技大学二零零六年六月山东科技大学硕士学位论文基于Petri网的网络协议分析论文题目：基于Petri网的网络协议分析作者姓名：杨永强入学时间：2003年9月专业名称：计算机应用技术研究方向：网络工程与MIS指导教师：禹农职称：教授论文提交日期：2006年5月论文答辩日期：2006年

2、6月授予学位日期：山东科技大学硕士学位论文基于Petri网的网络协议分析THEANALYSISOFPROTOCOLSBASEDONPETRINETSADissertationsubmittedinfulfillmentoftherequirementsofdegreeofMASTEROFPHILOSOPHYfromShandongUniversityofScienceandTechnologybyYangYongqiangSupervisor:ProfessorYuNongCollegeofInformati

3、onScienceandTechnologyJun,2006山东科技大学硕士学位论文基于Petri网的网络协议分析声明本人呈交给山东科技大学的这篇硕士学位论文，除了所列参考文献和世所公认的文献外，全部是本人在导师的指导下的研究成果。该论文尚没有呈交于其它任何学术机关作鉴定。研究生签名：日期：AFFIRMATIONIdeclarethatthisdissertation，submittedinfulfillmentoftherequirementsfortheawardofMasterofScience，inS

4、handongUniversityofScienceandTechnology，iswhollymyownworkunlessreferencedofacknowledge．Thedocumenthasnotbeensubmittedforqualificationatanyotheracademicinstitute．Signature：Date：山东科技大学硕士学位论文基于Petri网的网络协议分析摘要密码协议安全性分析是网络安全的一个难题，从20世纪30年代到现在，运用形式化方法对安全协议进行分析一直是

5、计算机安全领域的研究热点。并产生了一些比较有影响的验证方法，如Ban逻辑方法、GSP方法、串空间模型方法、Paulson归纳法、Petri网方法等。形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。本文主要研究了基于颜色Petri网的密码协议分析方法，开展了以下方面的研究工作:（1）对常见的密码协议进行了总结，阐述了各自的特点。（2）用颜色Petri网作为工具来分析密码协议，并且给出了用它分析密码协议的具体方法和步骤。（3）用颜色Petri网模型对具体的三个密码协议进行了分析，并

6、对密码协议的一类攻击的特点做出了概括。关键字：安全协议密码协议形式化分析颜色Petri网模型检测山东科技大学硕士学位论文基于Petri网的网络协议分析AbstractItisahardproblemtoanalyzecryptographicprotocolintheareaofcomputernetworksecurity.From1970s,usingformalmethodstoanalyzecryptographicprotocolsremainsthekeyissueinthefieldofcomp

7、utersecurity.Therehavebeenmanyeffectivemethods,suchasBanlogic,CSP,strandspaces,Paulson’sinductivesetofrules,andPetrinetsmethods,etc.Becauseofitscompactness,finenessandunambiguity,formalanalysisofcryptographicprotocolhasbeenanefficientandcorrectmethodstepbys

8、tep.ThedissertationmainlydiscussesusingformalmethodsforevaluationofcryptographicprotocolsbasedonColoredPetriNet(CPN),Themainresultsthattheauthorobtainedareasfollows:(1)Thethesisreviewsnormalcryptograph