计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2014年
4期
81-85
,共5页
胡晓辉%陈慧丽%石广田%陈永
鬍曉輝%陳慧麗%石廣田%陳永
호효휘%진혜려%석엄전%진영
GSM-R%安全协议%通讯顺序进程(CSP)%故障%偏差%精炼检测器(FDR)
GSM-R%安全協議%通訊順序進程(CSP)%故障%偏差%精煉檢測器(FDR)
GSM-R%안전협의%통신순서진정(CSP)%고장%편차%정련검측기(FDR)
GSM-R%security protocol%Communicating Sequential Process(CSP)%Failures Divegences Refinement checker(FDR)
CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统,而GSM-R系统是一种开放传输系统,它不能满足列控系统这种安全苛求系统的需求。主要根据GSM-R系统现有的安全威胁和应该采取的安全措施,引用一种改进的NSSK安全协议来保障车载设备与RBC间安全通信,并利用形式化建模语言CSP和模型检测工具FDR对其建模和验证。
CTCS-4級列車運行控製繫統是基于無線通信GSM-R傳輸信息的繫統,而GSM-R繫統是一種開放傳輸繫統,它不能滿足列控繫統這種安全苛求繫統的需求。主要根據GSM-R繫統現有的安全威脅和應該採取的安全措施,引用一種改進的NSSK安全協議來保障車載設備與RBC間安全通信,併利用形式化建模語言CSP和模型檢測工具FDR對其建模和驗證。
CTCS-4급열차운행공제계통시기우무선통신GSM-R전수신식적계통,이GSM-R계통시일충개방전수계통,타불능만족렬공계통저충안전가구계통적수구。주요근거GSM-R계통현유적안전위협화응해채취적안전조시,인용일충개진적NSSK안전협의래보장차재설비여RBC간안전통신,병이용형식화건모어언CSP화모형검측공구FDR대기건모화험증。
The CTCS-4 is based on the wireless communication system GSM-R, while GSM-R is an open transmission system, it does not meet the demands of the train control system which is a safety critical system. In this paper, based on the existing security threats of the GSM-R and the safety measures should be adopted, an improved NSSK security protocol is used to protect the secure communications between the vehicle equipment and the RBC. Also modeling and verification the security protocol within the framework of CSP and its model-checking tool FDR.