Modeling and Verification Tools for greedy attacks in non-slotted 802.15.4

Lynda Mokdad 1 Abdelkrim Abdelli Jalel Ben-Othman
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
Document type :
Conference papers
Liste complète des métadonnées
https://hal.inria.fr/hal-01724342
Contributor : Lynda Mokdad <>
Submitted on : Tuesday, March 6, 2018 - 2:09:18 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM

Identifiers

  • HAL Id : hal-01724342, version 1

Collections

UPEC-UPEM | LACL

Citation

Lynda Mokdad, Abdelkrim Abdelli, Jalel Ben-Othman. Modeling and Verification Tools for greedy attacks in non-slotted 802.15.4. IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'14), Sep 2014, Paris, France. ⟨hal-01724342⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

14

Contact


archive-ouverte@inria.fr