Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-normandie-univ.archives-ouvertes.fr/hal-02304575
Contributeur : Houcine Chafouk <>
Soumis le : jeudi 3 octobre 2019 - 13:08:24
Dernière modification le : lundi 14 octobre 2019 - 12:10:02

Identifiants

Collections

Citation

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, China. pp.387-390, ⟨10.1109/IS3C.2014.107⟩. ⟨hal-02304575⟩

Partager

Métriques

Consultations de la notice

10