Runtime-Monitoring for Industrial Control Systems

Electronics

Helge Janicke³  Andrew Nicholson²  Stuart Webber³  Antonio Cau¹ 

[1]Leicester, UK

[2]Cyber Security Centre, WMG, University of Warwick, Coventry CV4 7AL, UK

[3]Software Technology Research Laboratory De Montfort University, Leicester LE1 9BH, UK

关键词: SCADA;    ICS;    cyber;    security;    run-time;    monitoring;    ITL;    formal methods;   

DOI  :  10.3390/electronics4040995

来源: mdpi

【 摘 要 】

Industrial Control Systems (ICS) are widely deployed in nation’s critical national infrastructures such as utilities, transport, banking and health-care. Whilst Supervisory Control and Data Acquisition (SCADA) systems are commonly deployed to monitor real-time data and operations taking place in the ICS they are typically not equipped to monitor the functional behaviour of individual components. In this paper (This paper expands on an earlier position paper presented at the International Symposium for Industrial Control System and SCADA Cyber Security Research 2014), we are presenting a runtime-monitoring technology that provides assurances of the functional behaviour of ICS components and demonstrates how this can be used to provide additional protection of the ICS against cyber attacks similar to the well-known Stuxnet attack.

【 授权许可】

CC BY   
© 2015 by the authors; licensee MDPI, Basel, Switzerland.