Remote diagnostics protocols have generally only considered correct authentication to be enough to grant access to vehicles. However, as diagnostics equipment or their keys can be stolen or copied, these devices can not be trusted. Thus, authentication alone is not enough to prevent unauthorized access to vehicles. In previous work, we proposed an authorization protocol to prevent unauthorized access to vehicles. In this paper, we formally prove that the proposed authorization protocol provides mutual authentication between the diagnostics equipment and the vehicle, and that it guarantees both secrecy of the distributed session key and freshness of the distributed authorization information. Our formal analysis is conducted using both the Burrows-Abadi-Needham (BAN) Logic and the PROVERIF automated verification tool.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Short paper: Formal verification of an authorization protocol for remote vehicle diagnostics


    Contributors:


    Publication date :

    2013-12-01


    Size :

    448400 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Vehicle control remote authorization method and system

    ZHANG YUAN / WANG FEI / NI SIJIE | European Patent Office | 2022

    Free access

    Vehicle parking space occupancy verification and use authorization

    PAPINEAU MICHEL / FELTHAM MARK | European Patent Office | 2021

    Free access

    Vehicle parking space occupancy verification and use authorization

    PAPINEAU MICHAEL / FELTHAM MARK | European Patent Office | 2019

    Free access

    Vehicle Parking Space Occupancy Verification and Use Authorization

    PAPINEAU MICHAEL / FELTHAM MARK | European Patent Office | 2019

    Free access