Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA - Archive ouverte HAL Access content directly
Conference Papers Year :

Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA

(1) , (2) , (3)
1
2
3
Not 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⟩
23 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More