A logic-based framework for the security analysis of Industrial Control Systems
| Autor: | Vincent Naessens, Laurens Lemaire, Joachim Jansen, Jan Vossaert |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Control system security
021110 strategic defence & security studies Security analysis Power station Computer science 0211 other engineering and technologies 02 engineering and technology Industrial control system Computer security computer.software_genre Design phase Control and Systems Engineering Control system Signal Processing 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing computer Software |
| Zdroj: | Automatic Control and Computer Sciences. 51:114-123 |
| ISSN: | 1558-108X 0146-4116 |
| DOI: | 10.3103/s0146411617020055 |
| Popis: | © 2017, Allerton Press, Inc. 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. ispartof: Automatic Control and Computer Sciences vol:51 issue:2 pages:114-123 status: published |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink