Access

    Access via TIB

    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


    Contributors:
    Lian, Huozhen (author) / Ma, Lianchuan (author) / Cao, Yuan (author)

    Conference:

    International Conference on Electrical and Information Technologies for Rail Transportation ; 4. ; 2019 ; Tsingtau



    Publication date :

    2020



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



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

    Lian, Huozhen / Ma, Lianchuan / Cao, Yuan | Springer Verlag | 2020


    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