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 条
  • [41] Modeling of Wireless Network Security Authentication Protocol Based on SPIN
    Zhou Li
    Tan Fang-yong
    INDUSTRIAL INSTRUMENTATION AND CONTROL SYSTEMS II, PTS 1-3, 2013, 336-338 : 1892 - 1897
  • [42] An adaptive security protocol for a wireless sensor-based monitoring network in smart grid transmission lines
    Zhang, Xuping
    Ye, Feng
    Fan, Sucheng
    Guo, Jinghong
    Xu, Guoliang
    Qian, Yi
    SECURITY AND COMMUNICATION NETWORKS, 2016, 9 (01) : 60 - 71
  • [43] Security authentication protocol for WiMAX wireless network based on protocol composition logic
    Feng T.
    Zhang Z.-B.
    Ma J.-F.
    Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology, 2010, 32 (09): : 2106 - 2111
  • [44] Security in Wireless Sensor Networks: A formal verification of protocols
    Nandi, Giann Spilere
    Pereira, David
    Vigil, Martin
    Moraes, Ricardo
    Morales, Analucia Schiaffino
    Araujo, Gustavo
    2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 425 - 431
  • [45] FORMAL ANALYSIS OF SECURITY PROTOCOLS FOR WIRELESS SENSOR NETWORKS
    Novotny, Marian
    CECC '09: 9TH CENTRAL EUROPEAN CONFERENCE ON CRYPTOGRAPHY - TREBIC, 2010, 47 : 81 - 97
  • [46] Security Analysis on Railway Network Time Protocol Based on Colored Petri Nets
    Zhang Y.
    Zhang H.
    Wang H.
    Tiedao Xuebao/Journal of the China Railway Society, 2017, 39 (10): : 82 - 88
  • [47] On the Formal Verification of a Cluster Based Key Management Protocol for Wireless Sensor Networks
    Dojen, Reiner
    Zhang, Fan
    Coffey, Tom
    2008 IEEE INTERNATIONAL PERFORMANCE, COMPUTING AND COMMUNICATIONS CONFERENCE (IPCCC 2008), 2008, : 499 - 506
  • [48] Lightweight Security Protocol for Wireless Sensor Networks
    Biswas, Kamanashis
    2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), 2014,
  • [49] Enhanced Security Protocol in Wireless Sensor Networks
    Aseri, T. C.
    Singla, N.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2011, 6 (02) : 214 - 221
  • [50] The Improved DSR Protocol of Linux Net-Filter Frame for Wireless Sensor Network
    Pang, Xiyu
    2ND INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SMTA 2015), 2015, : 77 - 80
12345