Next Article in Journal
CDL, a Precise, Low-Cost Coincidence Detector Latch
Next Article in Special Issue
Hardware Activation by Means of PUFs and Elliptic Curve Cryptography in Field-Programmable Devices
Previous Article in Journal
Narrow Bandwidth Top-Emitting OLEDs Designed for Rhodamine 6G Excitation in Biological Sensing Applications
Previous Article in Special Issue
Introduction to Hardware Security

Runtime-Monitoring for Industrial Control Systems

Software Technology Research Laboratory De Montfort University, Leicester LE1 9BH, UK
Cyber Security Centre, WMG, University of Warwick, Coventry CV4 7AL, UK
Leicester, UK
Author to whom correspondence should be addressed.
Academic Editor: Dhananjay S. Phatak
Electronics 2015, 4(4), 995-1017;
Received: 17 July 2015 / Revised: 2 November 2015 / Accepted: 12 November 2015 / Published: 3 December 2015
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. View Full-Text
Keywords: SCADA; ICS; cyber; security; run-time; monitoring; ITL; formal methods SCADA; ICS; cyber; security; run-time; monitoring; ITL; formal methods
Show Figures

Figure 1

MDPI and ACS Style

Janicke, H.; Nicholson, A.; Webber, S.; Cau, A. Runtime-Monitoring for Industrial Control Systems. Electronics 2015, 4, 995-1017.

AMA Style

Janicke H, Nicholson A, Webber S, Cau A. Runtime-Monitoring for Industrial Control Systems. Electronics. 2015; 4(4):995-1017.

Chicago/Turabian Style

Janicke, Helge, Andrew Nicholson, Stuart Webber, and Antonio Cau. 2015. "Runtime-Monitoring for Industrial Control Systems" Electronics 4, no. 4: 995-1017.

Find Other Styles

Article Access Map by Country/Region

Back to TopTop