Conference Papers
Year :
HOUCINE CHAFOUK : Connect in order to contact the contributor
https://normandie-univ.hal.science/hal-02304575
Submitted on : Thursday, October 3, 2019-1:08:24 PM
Last modification on : Friday, March 24, 2023-2:53:12 PM
Cite
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
28
View
0
Download