DocumentCode
229249
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
fYear
2014
fDate
3-5 Dec. 2014
Firstpage
41
Lastpage
44
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Vehicular Networking Conference (VNC), 2014 IEEE
Conference_Location
Paderborn
Type
conf
DOI
10.1109/VNC.2014.7013307
Filename
7013307
Link To Document