Formal Security Analysis of Cloud-Connected Industrial Control Systems

2019 ◽  
pp. 71-84
Author(s):  
Tomas Kulik ◽  
Peter W. V. Tran-Jørgensen ◽  
Jalil Boudjadar
Keyword(s):  
Control Systems ◽  
Security Analysis ◽  
Industrial Control ◽  
Industrial Control Systems

scholarly journals Socio-Technical Security Analysis of Industrial Control Systems (ICS)

2014 ◽  
Author(s):  
Benjamin R Green ◽  
Daniel E Prince ◽  
Utz Roedig ◽  
Jerry S. Busby ◽  
David Hutchison
Keyword(s):  
Control Systems ◽  
Security Analysis ◽  
Industrial Control ◽  
Industrial Control Systems

scholarly journals A logic-based framework for the security analysis of Industrial Control Systems

2017 ◽  
Vol 51 (2) ◽  
pp. 114-123 ◽  
Author(s):  
Laurens Lemaire ◽  
Jan Vossaert ◽  
Joachim Jansen ◽  
Vincent Naessens
Keyword(s):  
Control Systems ◽  
Security Analysis ◽  
Industrial Control ◽  
Industrial Control Systems

scholarly journals A SysML Extension for Security Analysis of Industrial Control Systems

2014 ◽  
Author(s):  
Laurens Lemaire ◽  
Jorn Lapon ◽  
Bart De Decker ◽  
Vincent Naessens
Keyword(s):  
Control Systems ◽  
Security Analysis ◽  
Industrial Control ◽  
Industrial Control Systems
Sign in / Sign up

Export Citation Format

Share Document