Ensure the Safety and Security of Internet-Based Control Systems

Yang S. H. Alty J. L. , 2002, “Development of a distributed simulator for control experiments through the Internet”, Future Generation Computer Systems, Vol. 18, pp 595–611.

Yang S. H. Chen X. Alty J. L. , 2003, “Design issues and implementation of Internet-based process control systems”, Control Engineering Practice, Vol. 11, pp 709–720.

Overstreet J. W. Tzes A. , 1999, “An Internet-based real-time control engineering laboratory”, IEEE Control Systems Magazine, Vol. 19, pp 320–326.

Furuya M. Kato H. Sekozawa T. , 2000, “Secure web-based monitoring and control system”, The 26th Annual Conference of The IEEE Industrial Electronics Society, Nagoya, Japan, Vol. 2, pp 2443–2448.

Eames D. P. Moffett J. , 1999, “The integration of safety and security requirements”, Lecture Notes in Computer Science, Vol. 1698, pp 468–480.

Rushby J. , 1994, “Critical properties: Survey and taxonomy”, Reliability Engineering and System Safety, Vol. 43, pp 182–219.

Shindo A. Yamazaki H. Toki A. Maeshima R. Koshijima I. Umeda T. , 2000, “An approach to potential risk analysis of networked chemical plants”, Computers & Chemical Engineering, Vol. 24, pp 721–727.

Li H.Y. Yang S.H. Tan L. S. , 2004, “Data encryption algorithms for Internet-based real-time systems”, the Proceedings of the International Symposium on Distributed Computing and Applications to Business, Engineering, and Science, Wuhan, China, pp 1010–1014.

AES Proposal: Rijndael, http://csrc.nist.gov/CryptoToolkit/aes.

RSA Algorithm, http://www.di-mgt.com.au/rsa_alg.html.

Chung P. W. H. Yang S. H. Edwards D. W. , 1999, “Hazard identification in batch and continuous computer-controlled plants”, Industrial & Eng. Chem. Research, Vol. 38, pp 4359–4371.

Yang S. H. Stursberg O. Chung P. W. H. Kowalewski S. , 2001, “Automatic safety analysis of computer-controlled plants”, Computers and Chem. Eng., Vol. 25, pp 913–922.

Treseler H. Stursberg O. Chung P. W. H. Yang S. H. , 2001, “An open software architecture for the verification of industrial controllers”, Journal of Universal Computer Science, Vol. 7, pp 37–53.

Chung P. W. H. Yang S. H. , 2003, “Safety analysis of process plant control systems based on model checking”, The Journal of Safety & Reliability, Vol. 23, pp 19–34.

Ministry of Defence (MOD), 1996, “Hazop studies on systems containing programmable electronics, Part 2: General Application Guidance”, Interim Defence Standard, Glasgow.

Yang S.H. Dai C. , 2004, “Multi-rate control in Internet based control systems”, Proceedings of UK Control 2004, ID-053.