基于ieee+802.11标准的cbtc系统中安全通信协议设计与验证

《基于ieee+802.11标准的cbtc系统中安全通信协议设计与验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于IEEE802.11标准的CBTC系统中安全通信协议设计与验证AbstractCommunicationbasedtraincontrol(CBTC)systemcaneffectivelyreplenishthedeficiencyoftraditionaltraincontrolsystemwhichiscontrolledbytrackcircuit.Withthefeaturesofgoodsafetyandhightransmissionefficiency,CBTCiswidelyusedincityrailtraffi

2、csystem.Atpresent,mostCBTCsystemuseIEEE802.11basedwirelesslocalareanetwork(WLAN)technologywhichprovidesaneffectivesupportfortheinformationtransmissionasitsdatatransmissionsubsystem.Thiskindofwirelesscommunicationsubsystemisanopentransmissionsystem.Itschannelisopen,andthe

3、informationspreadsthroughtheradiowave.Thereforethissubsystemcaneasilybeinterferedbyvariousuncertainfactorsandattackedbyintruders.CBTCsystemisasafetycriticalsystem.ThedatawhichtransmitinCBTCdatacommunicationsubsystemarethesafety-relateddatawhichcanensurethesafetyoftrainru

4、nning.Therefore,aneffectivesafetyprotectionmeasureisessentialtoprotectthetrainoperationcontrolinformation.InviewofthebasicpositionofsecuritydatacommunicationinIEEE802.11basedCBTCsystem,EuropeanCommitteeforElectrotechnicalStandardizationsetsthestandardEN50159specially.Bas

5、edonthisstandardandtheEURORADIOfunctioninterfacespecification,thisthesisdesignstheCBTCsecuritycommunicationprotocoltoensurethesafety-relateddatasafeandreliabletransmission.Duringthedesignprocesstheknowledgeofprotocolengineeringtheoryisreferenced.Thedesigncontainsprotocol

6、services,protocolfunctions,protocolelementsstructure,protocolorganization,thecompilationofprotocoltextandsoon.Theprotocoldescribedinnaturallanguageisnotstrict,ambiguousandhasnouniformdescriptionstandard.ThethesissimulatesanddescribestheCBTCsecuritycommunicationprotocolby

7、theformaldescriptionlanguagecoloredpetrinet(CPN)whichhasstrictsyntaxandsemanticsdefinitionanditssupporttoolCPNToolsafterthedesignofprotocol.Inthemodelingprocess,byusingthethoughtoftop-downsimple-complex,thetopmodelofCBTCcommunicationprotocolisbeenestablished.Thenthesingl

8、epathprotocolmodelasabasicunitisbeenestablished.Onthisbasis,thedoublepathprotocolmodelandthesafetyproto