Safety and Security Checking

Internet-based control systems use the Internet as the communication medium to enable the remote monitoring and control of plants and to initiate global collaboration and data sharing between operators from geographically dispersed locations. However, connection to the Internet presents high safety and security risks to this new generation of control systems. Are we opening up our Internet-based control systems to trouble since a number of malicious hackers continually attack Web servers on the Internet? The new type of control systems will never be accepted by industry, if people do not have enough confidence in their safety and do not feel secure while using the system. This chapter presents a framework for security and safety checking used in the design of Internet-based control systems, which focuses on the security of control commands transferred over the Internet, actions to respond to malicious attacks, and system safety. The Internet-based control system introduced in Chap. 8 has been used as a case study to illustrate the implementation of the framework.

[1]  John Rushby,et al.  Critical system properties: survey and taxonomy , 1994 .

[2]  Shuang-Hua Yang,et al.  Automatic safety analysis of computer-controlled plants , 2001 .

[3]  Mohamed Hamdi,et al.  Computer and network security risk management: theory, challenges, and countermeasures , 2005, Int. J. Commun. Syst..

[4]  Shuang-Hua Yang,et al.  Automatic verification of safety interlock systems for industrial processes , 2001 .

[5]  Shuang-Hua Yang,et al.  Hazard Identification in Batch and Continuous Computer-Controlled Plants , 1999 .

[6]  Gerald A. Marin Network Security Basics , 2005, IEEE Secur. Priv..

[7]  Jonathan D. Moffett,et al.  The Integration of Safety and Security Requirements , 1999, SAFECOMP.

[8]  M. Furuya,et al.  Secure Web-based monitoring and control system , 2000, 2000 26th Annual Conference of the IEEE Industrial Electronics Society. IECON 2000. 2000 IEEE International Conference on Industrial Electronics, Control and Instrumentation. 21st Century Technologies.

[9]  Shuang-Hua Yang,et al.  A framework of security and safety checking for internet-based control systems , 2007, Int. J. Inf. Comput. Secur..

[10]  Hiroshi Yamazaki,et al.  An approach to potential risk analysis of networked chemical plants , 2000 .