Many applications that are developed for the Intelligent Transport System to ensure safety, efficiency and comfort, depend on communication among mobile vehicular nodes, road side units, fog servers, and trusted authority. Insecure wireless communication used for these applications is vulnerable to many attacks and it can endanger lives, create traffic congestion, and compromise privacy of the users. A robust authentication and key establishment mechanism can prevent security attacks, and also provide additional security features. In this paper, a novel, smart card-based, robust mutual authentication protocol namely VAuth for VANET is proposed. This scheme enables secure communication among entities while also preserving the anonymity and privacy of the users. To preserve unlinkability, VAuth uses pseudo-names, one-time secrets, and verification tokens. Correctness and security goals of the proposed protocol are proved using the formal method BAN logic and the automated tool Scyther respectively. A comparison of the scheme considering communication cost, computation cost, security functionalities, and storage cost is presented. As a proof of concept, our proposed protocol is demonstrated on FPGA boards which offer hardware acceleration capabilities that can handle high mobility of vehicles involved in VANET.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    VAuth: Robust Lightweight Mutual Authentication Protocol Preserving User’s Anonymity for VANET With FPGA Implementation



    Published in:

    Publication date :

    2024-12-01


    Size :

    1873402 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    A robust conditional privacy-preserving authentication protocol in VANET

    Jung, Chae Duk / Sur, Chul / Park, Youngho et al. | Tema Archive | 2009


    A Novel Authentication Scheme for VANET with Anonymity

    Pal, Harshita / Narwal, Bhawna | Springer Verlag | 2020


    A Distributed Authentication Protocol for VANET

    Liu, H. / Li, H. | British Library Online Contents | 2013



    Efficient and robust pseudonymous authentication in VANET

    Calandriello, Giorgio / Papadimitratos, Panos / Hubaux, Jean-Pierre et al. | Tema Archive | 2007