Browsing by author "Lemaire, Laurens"
Now showing items 1-6 of 6
-
A logic-based framework for the security analysis of industrial control systems
Lemaire, Laurens; Vossaert, Jan; Jansen, Joachim; Naessens, Vincent (2017) -
An assessment of security analysis tools for cyber-physical systems
Lemaire, Laurens; Vossaert, Jan; De Decker, Bart; Naessens, Vinent (2019) -
CPS security assessment using automatically generated attack trees
Depamelaere, Wouter; Lemaire, Laurens; Vossaert, Jan; Naessens, Vincent (2018) -
Extending FAST-CPS for the analysis of data flows in cyber-physical systems
Lemaire, Laurens; Vossaert, Jan; De Decker, Bart; Naessens, Vincent (2017) -
FAST-CPS: A Framework for the Analysis and Management of Security in Cyber-Physical Systems
Lemaire, Laurens (2018-03) -
Security evaluation of cyber-physical systems using automatically generated attack trees
Lemaire, Laurens; Vossaert, Jan; De Decker, Bart; Naessens, Vincent (2018)