On the Security of Privacy-Preserving Vehicular Communication Authentication with Hierarchical Aggregation and Fast Response

TL;DR

This paper analyzes the security of a privacy-preserving vehicular communication scheme with hierarchical aggregation, providing formal security models and proofs for key distribution and communication protocols.

Contribution

It introduces formal security models and proofs for two critical protocols in a vehicular communication scheme, enhancing understanding of its security guarantees.

Findings

Protocols are proven secure within the defined models

Formal security analysis strengthens trust in the scheme

Provides a foundation for secure vehicular communication systems

Abstract

In [3], the authors proposed a highly efficient secure and privacy-preserving scheme for secure vehicular communications. The proposed scheme consists of four protocols: system setup, protocol for STP and STK distribution, protocol for common string synchronization, and protocol for vehicular communications. Here we define the security models for the protocol for STP and STK distribution, and the protocol for vehicular communications,respectively. We then prove that these two protocols are secure in our models.