Research On The Application Of Railway RSSP-2 Secure Communication Protocol

With the rapid development of China’s high-speed railway,China’s Ministry of Railways has designed a control system CTCS-3 to ensure the safe operation of trains on the basis of the European train control system,which has been used in China’s railway operation.In the train control system,the on-board subsystem and ground equipment exchange data wirelessly through GSM-R.At present,GSM-R has been successfully implemented on multiple lines.Because the wireless system is open,it faces the threat of open system.According to the defensive measures in EN50159,China has formulated RSSP-2 secure communication protocol.RSSP-2 secure communication protocol is used to ensure the secure communication of railway equipment.since the protocol exists in written form after being formulated,it will cause misunderstanding for the developers of subsequent protocols.it is necessary to introduce formal modeling tools to model the protocol and replace the document form with the protocol model.This paper comprehensively analyzes the structure and function of RSSP-2 secure communication protocol,and takes RSSP-2 secure communication protocol as the research topic.The main work of this paper is as follows:1.This paper analyzes the structure and function of RSSP-2 secure communication protocol,and introduces the algorithm and secure transmission primitive in the protocol.2.The modeling tool UPPAAL and the theory of time automata are introduced,and the modeling methods of peer verification,secure data transmission,secure connection disconnection and data transmission failure in protocol MASL layer are put forward.Then the model is verified,which verifies the security,timing,logic error-free and accessibility of the model.3.Based on QT development environment,the simulation platform of RSSP-2 is constructed,and the implementation method of RSSP-2 is designed.The platform includes security function module,application function module,key management module,system parameter module and fault injection module.The fault injection module can inject faults into the security function modules of the platform,and capture and analyze the packets with wireshark software.The platform provides an environment for further analysis of the protocol.4.The implementation of RSSP-2 core algorithm is designed based on FPGA.The simulation results show that the system can realize encryption function and has a wide application prospect.Through the research work of this paper,the common model of the protocol is successfully put forward.After the model is verified,it shows that the security primitive communication of the protocol can be accurately expressed,and the defect of written representation is solved.Moreover,the simulation platform of secure communication protocol is built,and an implementation method of the protocol is provided,which can be used for subsequent protocol research after verification.The core algorithm based on FPGA is designed,and the system can realize encryption function through simulation.