Formal Model of Certificate Omission Schemes in VANET

Michael Feiri; Jonathan Petit; Frank Kargl

doi:10.1109/VNC.2014.7013307

Formal Model of Certificate Omission Schemes in VANET

Michael Feiri, Jonathan Petit, Frank Kargl

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

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	https://doi.org/10.1109/VNC.2014.7013307
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	http://www.ieee-vnc.org/2014/program.html

Keywords

EWI-25523
SCS-Cybersecurity
certificate omission
EC Grant Agreement nr.: FP7/269994
METIS-309791
VANET
Analytical model
IR-94312
Security

Access to Document

10.1109/VNC.2014.7013307

http://eprints.eemcs.utwente.nl/secure2/25523/01/2014-12-vnc-feiri.pdf

Cite this

@inproceedings{993c8f0023e943f2a08594dc317013bd,

title = "Formal Model of Certificate Omission Schemes in VANET",

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 {\textquoteright}No Omission{\textquoteright} and {\textquoteright}Periodic Omission{\textquoteright}, which validates the previous simulation and formulates the optimal parameters for these schemes.",

keywords = "EWI-25523, SCS-Cybersecurity, certificate omission, EC Grant Agreement nr.: FP7/269994, METIS-309791, VANET, Analytical model, IR-94312, Security",

author = "Michael Feiri and Jonathan Petit and Frank Kargl",

note = "eemcs-eprint-25523 ; null ; Conference date: 03-12-2014 Through 05-12-2014",

year = "2014",

month = dec,

doi = "10.1109/VNC.2014.7013307",

language = "Undefined",

isbn = "978-1-4799-7660-7",

publisher = "IEEE",

pages = "41--44",

booktitle = "Proceedings of the IEEE Vehicular Networking Conference (VNC 2014)",

address = "United States",

url = "http://www.ieee-vnc.org/2014/program.html",

}

TY - GEN

T1 - Formal Model of Certificate Omission Schemes in VANET

AU - Feiri, Michael

AU - Petit, Jonathan

AU - Kargl, Frank

N1 - eemcs-eprint-25523

PY - 2014/12

Y1 - 2014/12

N2 - 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.

AB - 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.

KW - EWI-25523

KW - SCS-Cybersecurity

KW - certificate omission

KW - EC Grant Agreement nr.: FP7/269994

KW - METIS-309791

KW - VANET

KW - Analytical model

KW - IR-94312

KW - Security

U2 - 10.1109/VNC.2014.7013307

DO - 10.1109/VNC.2014.7013307

M3 - Conference contribution

SN - 978-1-4799-7660-7

SP - 41

EP - 44

BT - Proceedings of the IEEE Vehicular Networking Conference (VNC 2014)

PB - IEEE

CY - USA

Y2 - 3 December 2014 through 5 December 2014

ER -