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
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-01724335
Contributor : Lynda Mokdad <>
Submitted on : Tuesday, March 6, 2018 - 2:03:57 PM
Last modification on : Friday, October 4, 2019 - 1:12:44 AM

Identifiers

  • HAL Id : hal-01724335, version 1

Collections

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

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

133

 

 

Contact

archive-ouverte@inria.fr