自动化的网络协议状态机逆向方法研究

《自动化的网络协议状态机逆向方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号学号M201172566学校代码10487密级硕士学位论文自动化的网络协议状态机逆向方法研究学位申请人：梁学甲学科专业：信息安全指导教师：王美珍讲师答辩日期：2014年01月17日万方数据AThesisSubmittedinPartialFulfillmentoftheRequirementsfortheDegreeofMasterofEngineeringResearchonAutomatedNetworkProtocolStateMachineinProtocolReverseEngineeringCandidate:LiangXu

2、ejiaMajor:InformationSecuritySupervisor:WangMeizhenHuazhongUniversityofScienceandTechnologyWuhan，Hubei430074，P.R.ChinaJanuary，2014万方数据独创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除文中已经标明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的研究成果。对本文的研究做出贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承

3、担。学位论文作者签名：日期：年月日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，即：学校有权保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权华中科技大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。保密□，在________年解密后适用本授权书。本论文属于不保密□。（请在以上方框内打“√”）学位论文作者签名：指导教师签名：日期：年月日日期：年月日万方数据华中科技大学硕士学位论文摘要网络协议的详细信息在网络安全研究

4、和管理中有着相当重要的作用，不过现在实际应用中的协议大多都是私有的协议，缺乏公开的描述信息，从而人们开始研究协议逆向工程的方法。协议逆向工程的研究试图使用一定的手段，能够对网络协议进行自动化的解析，获得协议的报文格式模板和协议状态机模型。在推断网络协议的状态机模型中，可以使用的方法包括离线算法和在线算法。基于离线的网络协议状态机模型推断算法，根据所选取的测试集合，最终推断的状态机模型准确度存在很大的不同。而在线算法在推断网络协议状态机时，利用自动的生成待测试集合，增加了算法的精确度，能够推断出更准确的协议的状态机。针对网络协议具有明显输入、输

5、出的特性，基于在线算法L*，进行改进，构造一个Mealy状态机模型的推断算法，加之采用有很高效率的反例处理方案，减小了生成状态机的复杂程度，而且减小了成员查询的次数。实现了一个自动化的协议状态机逆向的原型系统，通过词法分析、语法分析等阶段，在没有任何协议信息的前提下，能够自动化的推断出网络协议的状态机模型。使用FTP（FileTransferProtocol）、SMTP（SimpleMailTransferProtocol）以及SMB（ServerMessageBlock）等协议对系统进行了测试，之后与离线算法推断的状态机模型做了比较，并与原

6、始的L*算法的效率进行了比对，结果表明，该方法能够高效并准确的推断网络协议的状态机模型，具有十分重要的应用价值。关键词：网络协议，协议逆向工程，状态机推断，在线算法I万方数据华中科技大学硕士学位论文AbstractThedetailsofnetworkprotocolshaveaveryimportantroleinnetworksecurityresearchandmanagement.Becausetheprivateprotocolslackofficialdescriptions,theprotocolreverseengineeri

7、ngwasproposed.Theresearchersofprotocolreverseengineeringtrytoestablishasetofcommonway,whichcouldautomaticallyanalysethenetworkprotocolandgetsitsmessageformatandstatemachinemodel.Statemachineinferencealgorithmsincludeofflinealgorithmsandonlinealgorithms.Offlinealgorithmusesa

8、staticcollectionofsessionpacketstoinferprotocolstatemachinemodel.Sotheaccuracyofth