Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net
Yingjiu Guo, Xuemei Liu, Xiufeng Shao · 2013
In this paper, the Security Petri Net model is adopted to formally prove security protocol in the field of wireless sensor networks. As a result of this analysis, a man-in-the-middle-attack has been found and an improved version of the protocol is proposed. And the results show that the Security Petri Net model is a simple and efficient method to prove the security of of security protocol.