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 : mardi 13 mars 2018 - 11:10:08

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

11

Contact


archive-ouverte@inria.fr