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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Lect. Notes Electrical Eng.


    Beteiligte:
    Liu, Baoming (Herausgeber:in) / Jia, Limin (Herausgeber:in) / Qin, Yong (Herausgeber:in) / Liu, Zhigang (Herausgeber:in) / Diao, Lijun (Herausgeber:in) / An, Min (Herausgeber:in) / Lian, Huozhen (Autor:in) / Ma, Lianchuan (Autor:in) / Cao, Yuan (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    02.04.2020


    Format / Umfang :

    10 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    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 | Kraftfahrwesen | 2016


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

    GUO XIAOMING / ZHANG SHUAI / JIA XIAOZHE et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    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