A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method

Because more and more industrial control systems are connected to networks and more and more information technologies are used in the industrial control systems, the security of industrial control network is a problem. To solve the problem, we can use strong relevant logic as basic logical system to perform reasoning to make security analysis and provide decisions for industrial control network before the actual fault occurred. Although the method has been proposed in our previous work, the method needs a knowledge base to save the collected and reasoned out empirical knowledge. This paper proposes a knowledge base for the method.

[1]  Sijing Zhang,et al.  A Hybrid Method for Secure and Reliable Transmission on Industrial Automation and Control Networks in Industry 4.0 , 2019, 2019 25th International Conference on Automation and Computing (ICAC).

[2]  James Bret Michael,et al.  Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes , 2014, IEEE Transactions on Software Engineering.

[3]  Chunjie Zhou,et al.  A Game-Theoretic Approach to Cross-Layer Security Decision-Making in Industrial Cyber-Physical Systems , 2020, IEEE Transactions on Industrial Electronics.

[4]  Jingde Cheng,et al.  A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery , 1998, EJC.

[5]  Jingde Cheng,et al.  A systematic methodology for automated theorem finding , 2014, Theor. Comput. Sci..

[6]  Gianluca Stringhini,et al.  Targeted Attacks against Industrial Control Systems: Is the Power Industry Prepared? , 2014, SEGS@CCS.

[7]  Jingde Cheng,et al.  FreeEnCal: A Forward Reasoning Engine with General-Purpose , 2007, KES.

[8]  Cristina López-Bravo,et al.  Improving information security risk analysis by including threat-occurrence predictive models , 2020, Comput. Secur..

[9]  Chih-Ta Lin,et al.  Cyber attack and defense on industry control systems , 2017, 2017 IEEE Conference on Dependable and Secure Computing.

[10]  Hongbiao Gao,et al.  Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic , 2019, 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech).

[11]  Leandros A. Maglaras,et al.  A security architectural pattern for risk management of industry control systems within critical national infrastructure , 2017, Int. J. Crit. Infrastructures.

[12]  Yu Qin,et al.  TICS: Trusted Industry Control System Based on Hardware Security Module , 2017, CSS.