DocumentCode
683689
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
fYear
2013
fDate
14-15 Dec. 2013
Firstpage
668
Lastpage
672
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational Intelligence and Security (CIS), 2013 9th International Conference on
Conference_Location
Leshan
Print_ISBN
978-1-4799-2548-3
Type
conf
DOI
10.1109/CIS.2013.146
Filename
6746514
Link To Document