An Enhanced Security Protocol for Vehicular Ad Hoc Networks

The present work aims to address key security vulnerabilities in Vehicular Ad Hoc Networks (VANETs) through an enhanced authentication scheme. This study evaluates the effectiveness of utilizing Elliptic Curve Cryptography (ECC) for improving security efficiency and compares it with conventional techniques used in state-of-the-art authentication protocols. The results demonstrate improvements in both computational and communication efficiency. A rigorous formal analysis using the Tamarin Prover confirms the robustness of the proposed security processes. Real-world implementation of the proposed protocol using Raspberry Pi devices is conducted and empirical performance tests using NS-3 (Network Simulator 3) show a 30% improvement in computational efficiency and a 25% reduction in authentication delay compared to conventional techniques, along with a 98% success rate in evading impersonation attacks and a 95% success rate in preventing replay attacks while maintaining similar efficiency levels.