Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net

被引：1

作者：

Guo, Yingjiu ^{[1
]}

Liu, Xuemei ^{[1
]}

Shao, Xiufeng ^{[1
]}

机构：

[1] Beijing City Univ, Fac Infomat, Beijing 100094, Peoples R China

来源：

2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS) | 2013年

关键词：

Petri Net; Security Protocol; Sensor Network; Internet of Things;

D O I：

10.1109/CIS.2013.146

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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..

引用

页码：668 / 672

页数：5

共 50 条

[21] Petri net-based verification of security protocol implementation in software evolution
Bin Ahmadon, Mohd Anuaruddin
Yamaguchi, Shingo
Gupta, B. B.
INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 503 - 517
[22] A rekey-boosted security protocol in hierarchical wireless sensor network
Zhang, Yi-Ying
Yang, Wen-Cheng
Kim, Kee-Bum
Cui, Min-Yu
Park, Myong-Soon
MUE: 2008 INTERNATIONAL CONFERENCE ON MULTIMEDIA AND UBIQUITOUS ENGINEERING, PROCEEDINGS, 2008, : 57 - 61
[23] Security research of S-MAC protocol in wireless sensor network
Yang, Ming-Xi
Yin, Fei
Li, La-Yuan
Wuhan Ligong Daxue Xuebao/Journal of Wuhan University of Technology, 2007, 29 (05): : 142 - 145
[24] A multipath routing protocol for wireless sensor network for mine security monitoring
XIAO S.
WEI X.
WANG Y.
Mining Science and Technology, 2010, 20 (01): : 148 - 151
[25] Security of Intelligent Building Network Based on Wireless Sensor Network
Xu, Shuang
Zhou, Tong
INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2018, 14 (06) : 151 - 164
[26] A multipath routing protocol for wireless sensor network for mine security monitoring
XIAO Shuo1
International Journal of Mining Science and Technology, 2010, 20 (01) : 148 - 151
[27] Wireless Sensor Network Security model using Zero Knowledge Protocol
Udgata, Siba K.
Mubeen, Alefiah
Sabat, Samrat L.
2011 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2011,
[28] A security protocol for Wireless Sensor Networks
Zhang, Chang N.
Yu, Qian
Huang, Xun
Yang, Cungang
WIRELESS SENSOR AND ACTOR NETWORKS II, 2008, 264 : 113 - +
[29] Wireless Sensor Network Security
Liu, An
Kim, Mihui
Oliveira, Leonardo B.
Tan, Hailun
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2013,
[30] Wireless Sensor Network and Security
Sharma, Sonia
PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 3301 - 3304

← 1 2 3 4 5 →