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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal model of certificate omission schemes in VANET


    Beteiligte:
    Feiri, Michael (Autor:in) / Petit, Jonathan (Autor:in) / Kargl, Frank (Autor:in)


    Erscheinungsdatum :

    01.12.2014


    Format / Umfang :

    165802 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Evaluation of congestion-based certificate omission in VANETs

    Feiri, Michael / Petit, Jonathan / Kargl, Frank | IEEE | 2012


    Operational omission notification method and operational omission notification system

    TOMINAGA HIROSHI | Europäisches Patentamt | 2016

    Freier Zugriff



    Context-adaptive detection of insider attacks in VANET information dissemination schemes

    Dietzel, Stefan / van der Heijden, Rens / Petit, Jonathan et al. | IEEE | 2015