A logic-based framework for the security analysis of Industrial Control Systems
- 作者: Lemaire L.1, Vossaert J.1, Jansen J.1, Naessens V.1
-
隶属关系:
- Department of Computer Science
- 期: 卷 51, 编号 2 (2017)
- 页面: 114-123
- 栏目: Article
- URL: https://journals.rcsi.science/0146-4116/article/view/174871
- DOI: https://doi.org/10.3103/S0146411617020055
- ID: 174871
如何引用文章
详细
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.
作者简介
Laurens Lemaire
Department of Computer Science
编辑信件的主要联系方式.
Email: firstname.lastname@cs.kuleuven.be
比利时, Ghent, 9000
Jan Vossaert
Department of Computer Science
Email: firstname.lastname@cs.kuleuven.be
比利时, Ghent, 9000
Joachim Jansen
Department of Computer Science
Email: firstname.lastname@cs.kuleuven.be
比利时, Heverlee, 3001
Vincent Naessens
Department of Computer Science
Email: firstname.lastname@cs.kuleuven.be
比利时, Ghent, 9000