Communication Dans Un Congrès
Année : 2014
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 19 avril 2024-16:18:54
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⟩
Collections
29
Consultations
0
Téléchargements