Security Analysis for Vehicle Area Networks Protocol Using AVISPA
Date
2024
Authors
Alahmar, Alaa
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
In the era of smart transportation, Vehicle Area Networks (VANs) are critical in enabling secure communication between vehicles and infrastructure. This project examines the security robustness of the PUFGuard protocol, a physically unclonable function (PUF)-based authentication framework designed to protect Vehicle-to-Infrastructure (V2I) and Vehicle-to-Vehicle (V2V) communications in VANs. PUFGuard leverages the inherent uniqueness of PUFs for secure key generation and authentication, aiming to establish trust and resilience against adversarial attacks in dynamic, multi-hop communication environments. To validate PUFGuard’s resilience, this research employs formal verification tools—AVISPA and SPAN—to simulate and analyze its effectiveness against common network threats, including replay attacks, manin-the-middle attacks, and impersonation attacks. The protocol is modelled in the High-Level Protocol Specification Language (HLPSL), where each component of the V2I and V2V authentication processes is systematically represented. Results from the AVISPA tests highlight the protocol’s strengths and potential vulnerabilities, providing insights into the adequacy of PUFGuard’s security measures in real-world VAN applications. The findings of this study suggest refinements to fortify PUFGuard further, offering a framework for secure, authenticated communication in modern vehicular networks.
Description
Keywords
PUFGaurd, AVISPA, VANs, Security, V2V, V2I