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⟩ 
