Event Details
Security Analysis for Vehicle Area Networks Protocol Using AVISPA
Presenter: Alaa Alahmar
Supervisor:
Date: Mon, December 16, 2024
Time: 11:30:00 - 00:00:00
Place: Remote via Zoom
ABSTRACT
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 unclon-
able 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 authentica-
tion, aiming to establish trust and resilience against adversarial attacks in dynamic,
multi-hop communication environments. To validate PUFGuard’s resilience, this re-
search employs formal verification tools—AVISPA and SPAN—to simulate and ana-
lyze its effectiveness against common network threats, including replay attacks, man-
in-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, provid-
ing 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.
Join Zoom Meeting
Meeting ID: 825 8747 1213
Password: 806205
One tap mobile
+17789072071,,82587471213# Canada
+16475580588,,82587471213# Canada
Dial by your location
+1 778 907 2071 Canada
+1 647 558 0588 Canada
Meeting ID: 825 8747 1213
Find your local number:
Note: Please log in to Zoom via SSO and your UVic Netlink ID