Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles

Samir Chouali, Azzedine Boukerche, Ahmed Mostefaoui, Mohammed Amine Merzoug. Formal Verification and Performance Analysis of a New Data Exchange Protocol for Connected Vehicles. IEEE T. Vehicular Technology, 69(12):15385-15397, 2020. [doi]

Abstract

Abstract is missing.