Abstract:Internet of Vehicles(IoV) is increasingly used as a medium to propagate critical information via establishing connections between entities such as vehicles and infrastructures. During message transmission, privacy-preserving authentication is considered as the first line of defence against attackers and malicious information. To achieve a more secure and stable communication environment, ever-increasing numbers of blockchain-based authentication schemes are proposed. At first glance, existing approaches provide robust architectures and achieve transparent authentication. However, in these schemes, verifiers must connect to the blockchain network in advance and accomplish the authentication with smart contracts, which prolongs the latency. To remedy this limit, we propose a privacy-preserving blockchain-based authentication protocol(PBAG), where Root Authority(RA) generates a unique evaluation proof corresponding to the issued certificate for each authorized vehicle. Meanwhile, RA broadcasts a public global commitment based on all valid certificates. Instead of querying certificates stored in the blockchain, the vehicle will be efficiently proved to be an authorized user by utilizing the global commitment through bilinear pairing. Moreover, our scheme can prevent vehicles equipped with invalid certificates from accomplishing the authentication, thus avoiding the time-consuming for checking Certificate Revocation List (CRL). Finally, our scheme provides privacy properties such as anonymity and unlinkability. It allows anonymous authentication based on evaluation proofs and achieves traceability of identity in the event of a dispute. The simulation demonstrates that the average time of verification is 0.36ms under the batch-enabled mechanism, outperforming existing schemes by at least 63.7%.

IVeri: Privacy-Preserving Interdomain Verification

An Inter-Domain Authentication Scheme For Pervasive Computing Environment

Inter-domain authentication scheme for Pervasive Computing Environments

Seagull: Privacy preserving network verification system

Privacy-Preserving Network Path Validation.

Identity-Based Privacy Preserving Remote Data Integrity Checking With a Designated Verifier

Iprivjoin: an ID-Private Data Join Framework for Privacy-Preserving Machine Learning.

VPIR: an efficient verifiable private information retrieval scheme resisting malicious cloud server

Toward a Unified Framework for Verifying and Interpreting Learning-Based Networking Systems.

VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks

A Novel ID-based Authentication Framework with Adaptive Privacy Preservation for VANETs

PBAG: A Privacy-Preserving Blockchain-based Authentication Protocol with Global-updated Commitment in IoV

Algorithmic Verification of Intransitive Noninterference for 3-Domain Security Policies with A Sat Solver

Verification of Interdomain Routing System Based on Formal Methods

Characterizing Differentially-Private Techniques in the Era of Internet-of-Vehicles

Digital Identity Verification and Management System of Blockchain-Based Verifiable Certificate with the Privacy Protection of Identity and Behavior

A Practical Protocol for Advantage Distillation and Information Reconciliation

BPA: A Novel Blockchain-Based Privacy-Preserving Authentication Scheme for the Internet of Vehicles

INTERNEURON: A Middleware with Multi-Network Communication Reliability for Infrastructure Vehicle Cooperative Autonomous Driving

Verification across Intellectual Property Boundaries

Privacy-Preserving and Lightweight Verification of Deep Packet Inspection in Clouds