Title :
Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net
Author :
Yingjiu Guo ; Xuemei Liu ; Xiufeng Shao
Author_Institution :
Fac. of Infomation, Beijing City Univ., Beijing, China
Abstract :
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.
Keywords :
Petri nets; protocols; wireless sensor networks; formal proof; man-in-the-middle-attack; security Petri net model; security protocol; wireless sensor network; Authentication; Encryption; Mathematical model; Protocols; Wireless sensor networks; Internet of Things; Petri Net; Security Protocol; Sensor Network;
Conference_Titel :
Computational Intelligence and Security (CIS), 2013 9th International Conference on
Conference_Location :
Leshan
Print_ISBN :
978-1-4799-2548-3
DOI :
10.1109/CIS.2013.146
