Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA - Normandie Université Access content directly
Conference Papers Year :
No file

Dates and versions

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

Identifiers

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⟩
28 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More