Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA - Normandie Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA

Mohamed Kasraoui
  • Fonction : Auteur
Dauphine Recherches en Management
Adnane Cabani
Pôle Instrumentation, Informatique et Systèmes
CV
Houcine Chafouk
Institut de Recherche en Systèmes Electroniques Embarqués
CV

Domaines

Automatique / Robotique

HOUCINE CHAFOUK  : Connectez-vous pour contacter le contributeur

https://normandie-univ.hal.science/hal-02304575

Soumis le : jeudi 3 octobre 2019-13:08:24

Dernière modification le : vendredi 24 mars 2023-14:53:12

Fichier non déposé

Dates et versions

hal-02304575 , version 1 (03-10-2019)

Identifiants

Citer

Mohamed Kasraoui, Adnane Cabani, Houcine Chafouk. Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA. 2014 International Symposium on Computer, Consumer and Control (IS3C), Jun 2014, Taichung, Taiwan. pp.387-390, ⟨10.1109/IS3C.2014.107⟩. ⟨hal-02304575⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-DAUPHINE DRM COMUE-NORMANDIE DRM-DAUPHINE TDS-MACS PSL IRSEEM UNIROUEN ESIGELEC
29 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More