Title :
Formal model of certificate omission schemes in VANET
Author :
Feiri, Michael ; Petit, Jonathan ; Kargl, Frank
Author_Institution :
Services, Cybersecurity & Safety, Univ. of Twente, Enschede, Netherlands
Abstract :
The benefits of certificate omission schemes in VANET have been so far proven by simulation. However, the research community is lacking of a formal model that would allow implementers and policy makers to select the optimal parameters for such schemes. In this paper, we lay the foundations of the formal model for certificate omission schemes in VANET. We apply the model to `No Omission´ and `Periodic Omission´, which validates the previous simulation and formulates the optimal parameters for these schemes.
Keywords :
cryptography; telecommunication security; vehicular ad hoc networks; VANET; certificate omission schemes; cryptographic packet loss; formal model; no omission; periodic omission; vehicle-to-x communication; vehicular ad-hoc networks; Communication channels; Conferences; Packet loss; Receivers; Vehicles; Vehicular ad hoc networks; Analytical model; VANET; certificate omission; security;
Conference_Titel :
Vehicular Networking Conference (VNC), 2014 IEEE
Conference_Location :
Paderborn
DOI :
10.1109/VNC.2014.7013307
