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 条
  • [1] Proof of the security of Digital Media Distributing Protocol based on Petri Net models
    Guo, Ying-Jiu
    Lin, Chuang
    Yin, Hao
    Tian, Li-Qin
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2009, 37 (05): : 1030 - 1036
  • [2] Security simulation to security protocol based on coloured Petri net
    Zheng, Jun-Jie
    Xiao, Jun-Mo
    Yang, Ming
    Liu, Zhi-Hua
    Ye, Song
    Zhou, Yan-Nian
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2006, 18 (11): : 3294 - 3296
  • [3] Formal security model research based on petri-net
    Liu, MX
    Yu, DM
    Zhang, QY
    Zhao, H
    2005 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2005, : 575 - 578
  • [4] Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool
    Feng, Tao
    Chen, Taining
    Gong, Xiang
    INFORMATION, 2024, 15 (02)
  • [5] Energy Consumption Evaluation for Wireless Sensor Network Nodes Based on Queuing Petri Net
    Li, J.
    Zhou, H. Y.
    Zuo, D. C.
    Hou, K. M.
    Xie, H. P.
    Zhou, P.
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2014,
  • [6] On Wireless Sensor Networks Formal Modeling Based on Petri nets
    Fu, Xiao
    Ma, Zhiqiang
    Yu, Zhenhua
    Fu, Gang
    2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
  • [7] Formal Security Evaluation and Improvement of Wireless HART Protocol in Industrial Wireless Network
    Luo, Fuyuan
    Feng, Tao
    Zheng, Lu
    SECURITY AND COMMUNICATION NETWORKS, 2021, 2021
  • [8] Formal Security Evaluation and Improvement of Wireless HART Protocol in Industrial Wireless Network
    Luo, Fuyuan
    Feng, Tao
    Zheng, Lu
    Security and Communication Networks, 2021, 2021
  • [9] Analysis on security of EMSR protocol in wireless sensor network
    Han, Jian-Hua
    Wu, Liu-Fei
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2009, 38 (03): : 401 - 405
  • [10] Security: Cross layer protocol in Wireless Sensor Network
    Muraleedharan, Rajani
    Osadciw, Lisa Ann
    25TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS, VOLS 1-7, PROCEEDINGS IEEE INFOCOM 2006, 2006, : 3280 - 3281
12345