Formal Model of Certificate Omission Schemes in VANET

Michael Feiri, Jonathan Petit, Frank Kargl

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageUndefined
    Title of host publicationProceedings of the IEEE Vehicular Networking Conference (VNC 2014)
    Place of PublicationUSA
    PublisherIEEE
    Pages41-44
    Number of pages4
    ISBN (Print)978-1-4799-7660-7
    DOIs
    Publication statusPublished - Dec 2014
    EventIEEE Vehicular Networking Conference, VNC 2014 - Paderborn, Germany
    Duration: 3 Dec 20145 Dec 2014
    http://www.ieee-vnc.org/2014/program.html

    Publication series

    Name
    PublisherIEEE

    Conference

    ConferenceIEEE Vehicular Networking Conference, VNC 2014
    Abbreviated titleVNC
    CountryGermany
    CityPaderborn
    Period3/12/145/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

    Cite this