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
Article Menu

Export Article

Open AccessArticle
Electronics 2015, 4(4), 995-1017; doi:10.3390/electronics4040995

Runtime-Monitoring for Industrial Control Systems

1
Software Technology Research Laboratory De Montfort University, Leicester LE1 9BH, UK
2
Cyber Security Centre, WMG, University of Warwick, Coventry CV4 7AL, UK
3
Leicester, UK
*
Author to whom correspondence should be addressed.
Academic Editor: Dhananjay S. Phatak
Received: 17 July 2015 / Revised: 2 November 2015 / Accepted: 12 November 2015 / Published: 3 December 2015
View Full-Text   |   Download PDF [2190 KB, uploaded 3 December 2015]   |  

Abstract

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
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (CC BY 4.0).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed Share & Cite This Article

MDPI and ACS Style

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

Show more citation formats Show less citations formats

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Electronics EISSN 2079-9292 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top