Skip to Main content Skip to Navigation
Conference papers

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 metadata
https://hal.inria.fr/hal-01724335
Contributor : Lynda Mokdad Connect in order to contact the contributor
Submitted on : Tuesday, March 6, 2018 - 2:03:57 PM
Last modification on : Wednesday, October 27, 2021 - 3:56:21 PM

Identifiers

  • HAL Id : hal-01724335, version 1

Collections

UPEC-UPEM | L2TI | LACL | UNIV-PARIS13 | GALILE | UPEC | SORBONNE-PARIS-NORD

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

192

 

Contact                    Legal Notice                    Personal Data