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
Type de document :
Communication dans un congrès
IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'14), Sep 2014, Paris, France
Liste complète des métadonnées
https://hal.inria.fr/hal-01724342
Contributeur : Lynda Mokdad <>
Soumis le : mardi 6 mars 2018 - 14:09:18
Dernière modification le : mercredi 19 décembre 2018 - 15:50:03

Identifiants

  • 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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

13

Contact


archive-ouverte@inria.fr