Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA

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 : jeudi 14 mai 2020 - 12:21:01

Identifiants

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

24