Safety and Security Checking
暂无分享,去创建一个
[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 .