Title: An efficient Rabin-cryptosystem based authentication mechanism for vehicular ad-hoc networks
Authors: Md Ismail; Santanu Chatterjee; Jamuna Kanta Sing
Addresses: Integrated Test Range, DRDO, Chandipur 756 025, India ' Research Center Imarat, DRDO, Hyderabad 500 069, India ' Department of Computer Science and Engineering, Jadavpur University, Kolkata, 700 032, India
Abstract: Vehicular ad-hoc network (VANET) is a complex cyber physical system of systems (SOS) having both stand-alone static elements and very sophisticated dynamic elements to provide real time data access. To ensure user's core security concern over crucial data in transit, it essentially demands robust user authentication scheme for accessing desired services from VANET clouds. Recently various schemes have been proposed to address numerous security concerns but very few of them have addressed all major attacks with efficiency. Here we propose an improved and enhanced Rabin-cryptosystem based efficient, dynamic and scalable authentication mechanism to address all known major attacks. We have analysed security of our proposed scheme using AVISVA and Proverif Tools. The analysis has shown that our scheme guarantees positional privacy, user anonymity and mutual authentication to prevent all type of known attacks. The comparison of protocol with available relevant scheme reveals proposed protocol is more efficient with efficacy.
Keywords: VANET; vehicular ad-hoc network; user authentication; Rabin cryptosystem; AVISPA; security.
DOI: 10.1504/IJSSE.2024.137059
International Journal of System of Systems Engineering, 2024 Vol.14 No.2, pp.190 - 211
Received: 24 Nov 2022
Accepted: 05 Feb 2023
Published online: 01 Mar 2024 *