Open AccessA logic-based framework for the security analysis of Industrial Control Systems
Author(s) -
Laurens Lemaire,
Jan Vossaert,
Joachim Jansen,
Vincent Naessens
Publication year - 2017
Publication title -
automatic control and computer sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.299
H-Index - 17
eISSN - 1558-108X
pISSN - 0146-4116
DOI - 10.3103/s0146411617020055
Subject(s) - computer science , industrial control system , control (management) , theoretical computer science , computer security , artificial intelligence
Industrial Control Systems (ICS) are used for monitoring and controlling critical infrastructures such as power stations, waste water treatment facilities, traffic lights, and many more. Lately, these systems have become a popular target for cyber-attacks. Security is often an afterthought, leaving them vulnerable to all sorts of attacks. This article presents a formal approach for analysing the security of Industrial Control Systems, both during their design phase and while operational. A knowledge- based system is used to analyse a model of the control system and extract system vulnerabilities. The approach has been validated on an ICS in the design phase.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom