Affiliation:
1. School of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, China
Abstract
The integration of buses in industrial control systems, fueled by advancements such as the Internet of Things (IoT), has led to their widespread adoption, significantly enhancing operational efficiency. However, with the increasing interconnection of systems, ensuring the security of bus communications and protocols has become an urgent priority. This paper focuses on addressing the specific security concerns associated with the widely adopted INTERBUS protocol—a fieldbus protocol. Our approach leverages the theory of colored Petri nets (CPN) for modeling, enabling a comprehensive analysis of the protocol’s security. Rigorous formal verification and analysis of the security protocol are conducted by employing the Dolev–Yao adversary model. Our investigation reveals the presence of three critical vulnerabilities: replay attacks, tampering, and impersonation. To fortify the security of the protocol, we propose the introduction of a key distribution center and the utilization of hash values. Through meticulous analysis and verification, our proposed enhancements effectively reinforce the security performance of the INTERBUS protocol.
Reference40 articles.
1. A survey of cyber security management in industrial control systems;Knowles;Int. J. Crit. Infrastruct. Prot.,2015
2. Wieczorek, F., Krauß, C., Schiller, F., and Eckert, C. (2012). International Conference on Computer Safety, Reliability, and Security, Springer.
3. Network security considerations in TCP/IP-based manufacturing automation;dePriest;ISA Trans.,1997
4. Industrial information integration-A literature review 2006–2015;Chen;J. Ind. Inf. Integr.,2016
5. Security issues in SCADA networks;Igure;Comput. Secur.,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献