Formal Security Evaluation and Improvement of Wireless HART Protocol in Industrial Wireless Network

被引：0
|
作者：
Luo, Fuyuan [1 ]
Feng, Tao [1 ]
Zheng, Lu [1 ]
机构：
[1] School of Computer and Communication, Lanzhou University of Technology, LanZhou,730050, China
来源：
Security and Communication Networks | 2021年 / 2021卷
关键词：
Network security;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] 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
  • [2] Formal Security Evaluation and Improvement of Industrial Ethernet EtherCAT Protocol
    Feng T.
    Wang S.
    Gong X.
    Fang J.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2020, 57 (11): : 2312 - 2327
  • [3] Research and Development of industrial Wireless HART Communication Protocol
    Zhu, Xiang-he
    Wang, Ya-gang
    Wang, Kai
    2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL VIII, 2010, : 96 - 99
  • [4] Research and Development of industrial Wireless HART Communication Protocol
    Zhu, Xiang-he
    Wang, Ya-gang
    Wang, Kai
    2011 INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION AND INDUSTRIAL APPLICATION (ICIA2011), VOL III, 2011, : 96 - 99
  • [5] Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net
    Guo, Yingjiu
    Liu, Xuemei
    Shao, Xiufeng
    2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2013, : 668 - 672
  • [6] On the security of wireless network protocol 802.11
    Sun, Hong
    Yang, Yi-Xian
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2003, 31 (07): : 1098 - 1100
  • [7] Towards formal analysis of wireless LAN security with MIS protocol
    You, Ilsun
    Hori, Yoshiaki
    Sakurai, Kouichi
    INTERNATIONAL JOURNAL OF AD HOC AND UBIQUITOUS COMPUTING, 2011, 7 (02) : 112 - 120
  • [8] Measurements on an Industrial Wireless HART Network Supporting PROFIsafe: A Case Study
    Akerberg, Johan
    Reichenbach, Frank
    Gidlund, Mikael
    Bjorkman, Mats
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [9] Security Proposal for AMI Network on a Industrial Wireless Sensor Network
    Lazo, C.
    Mardones, J.
    Diaz, R.
    2015 CHILEAN Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON), 2015, : 333 - 338
  • [10] 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
12345