Modeling and Verification Tools for jamming attacks in VANETS

Lynda Mokdad 1 Jalel Ben-Othman 2
1 LACL - Laboratoire d'Algorithmique, Complexité et Logique
2 L2TI - Laboratoire de Traitement et Transport de l'Information
Type de document :
Communication dans un congrès
IEEE Global Communications conference (GLOBECOM’14), Dec 2014, Austin, United States
Liste complète des métadonnées
https://hal.inria.fr/hal-01724335
Contributeur : Lynda Mokdad <>
Soumis le : mardi 6 mars 2018 - 14:03:57
Dernière modification le : mardi 13 mars 2018 - 11:10:08

Identifiants

  • HAL Id : hal-01724335, version 1

Collections

UPEC-UPEM | L2TI | LACL | UNIV-PARIS13 | USPC

Citation

Lynda Mokdad, Jalel Ben-Othman. Modeling and Verification Tools for jamming attacks in VANETS. IEEE Global Communications conference (GLOBECOM’14), Dec 2014, Austin, United States. 〈hal-01724335〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

29

Contact


archive-ouverte@inria.fr