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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification


    Additional title:

    Lect. Notes Electrical Eng.


    Contributors:
    Liu, Baoming (editor) / Jia, Limin (editor) / Qin, Yong (editor) / Liu, Zhigang (editor) / Diao, Lijun (editor) / An, Min (editor) / Lian, Huozhen (author) / Ma, Lianchuan (author) / Cao, Yuan (author)

    Conference:

    International Conference on Electrical and Information Technologies for Rail Transportation ; 2019 ; Qingdao, China October 25, 2019 - October 27, 2019



    Publication date :

    2020-04-02


    Size :

    10 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification

    Lian, Huozhen / Ma, Lianchuan / Cao, Yuan | British Library Conference Proceedings | 2020



    Karbon in Serie - Sportsitzplattform RssP von Recaro

    Sievernich,W. / Recaro Automotive Seating,Kirchheim/Teck,DE | Automotive engineering | 2016


    Train-ground communication simulation method and device based on RSSP-II protocol

    GUO XIAOMING / ZHANG SHUAI / JIA XIAOZHE et al. | European Patent Office | 2020

    Free access

    Formal Verification of a Redundancy Management Algorithm

    Draper, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991