As the RSSP-II protocol has hidden dangers in the management of transport keys and authentication keys, in order to strengthen the safety of the key management of RSSP-II and make the communication between the safety-related entities of the train control system safer and more reliable, an improved scheme is presented in this paper. This scheme adopted the Raft algorithm combined with elliptic curve cryptography and time-triggered mechanism to get all safety-related devices in a certain area of the system to update and consistently share an authentication key in a way that works without key management center and reduces human intervention. Then, the specification language TLA+ is used to model the consensus process, and the TLC model checker is used to verify the properties of the model. The results show that the scheme is feasible, safe and can simultaneously avoid the deadlock problem. At last, the safety analysis shows that the scheme is safe and meets EN50159 standard.
Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
Lect. Notes Electrical Eng.
International Conference on Electrical and Information Technologies for Rail Transportation ; 2019 ; Qingdao, China October 25, 2019 - October 27, 2019
Proceedings of the 4th International Conference on Electrical and Information Technologies for Rail Transportation (EITRT) 2019 ; Chapter : 1 ; 1-10
2020-04-02
10 pages
Article/Chapter (Book)
Electronic Resource
English
Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
British Library Conference Proceedings | 2020
|Karbon in Serie - Sportsitzplattform RssP von Recaro
Automotive engineering | 2016
|Train-ground communication simulation method and device based on RSSP-II protocol
European Patent Office | 2020
|Formal Verification of a Redundancy Management Algorithm
British Library Conference Proceedings | 1991
|