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.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the IEEE Vehicular Networking Conference (VNC 2014) |
Place of Publication | USA |
Publisher | IEEE |
Pages | 41-44 |
Number of pages | 4 |
ISBN (Print) | 978-1-4799-7660-7 |
DOIs | |
Publication status | Published - Dec 2014 |
Event | IEEE Vehicular Networking Conference, VNC 2014 - Paderborn, Germany Duration: 3 Dec 2014 → 5 Dec 2014 http://www.ieee-vnc.org/2014/program.html |
Publication series
Name | |
---|---|
Publisher | IEEE |
Conference
Conference | IEEE Vehicular Networking Conference, VNC 2014 |
---|---|
Abbreviated title | VNC |
Country/Territory | Germany |
City | Paderborn |
Period | 3/12/14 → 5/12/14 |
Internet address |
Keywords
- EWI-25523
- SCS-Cybersecurity
- certificate omission
- EC Grant Agreement nr.: FP7/269994
- METIS-309791
- VANET
- Analytical model
- IR-94312
- Security