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

2nd International Symposium for ICS & SCADA Cyber Security Research 2014 ◽

10.14236/ewic/ics-csr2014.2 ◽

2014 ◽

Author(s):

Benjamin Green ◽

Daniel Prince ◽

Utz Roedig ◽

Jerry Busby ◽

David Hutchison

Keyword(s):

Control Systems ◽

Security Analysis ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Formal Security Analysis of Cloud-Connected Industrial Control Systems

Innovative Security Solutions for Information Technology and Communications - Lecture Notes in Computer Science ◽

10.1007/978-3-030-12942-2_7 ◽

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

Download Full-text

A SysML Extension for Security Analysis of Industrial Control Systems

2nd International Symposium for ICS & SCADA Cyber Security Research 2014 ◽

10.14236/ewic/ics-csr2014.1 ◽

2014 ◽

Author(s):

Laurens Lemaire ◽

Jorn Lapon ◽

Bart De Decker ◽

Vincent Naessens

Keyword(s):

Control Systems ◽

Security Analysis ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

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

10.14236/ewic/icscsr2014.2 ◽

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

Download Full-text

Security analysis of cloud-connected industrial control systems using combinatorial testing

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 ◽

10.1145/3359986.3361211 ◽

2019 ◽

Author(s):

Peter W. V. Tran-Jørgensen ◽

Tomas Kulik ◽

Jalil Boudjadar ◽

Peter Gorm Larsen

Keyword(s):

Control Systems ◽

Security Analysis ◽

Combinatorial Testing ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

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

Automatic Control and Computer Sciences ◽

10.3103/s0146411617020055 ◽

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

Download Full-text

A cyber-physical experimentation environment for the security analysis of networked industrial control systems

Computers & Electrical Engineering ◽

10.1016/j.compeleceng.2012.06.015 ◽

2012 ◽

Vol 38 (5) ◽

pp. 1146-1161 ◽

Author(s):

Béla Genge ◽

Christos Siaterlis ◽

Igor Nai Fovino ◽

Marcelo Masera

Keyword(s):

Control Systems ◽

Security Analysis ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Towards Formal Security Analysis of Industrial Control Systems

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security - ASIA CCS '17 ◽

10.1145/3052973.3053024 ◽

2017 ◽

Author(s):

Marco Rocchetto ◽

Nils Ole Tippenhauer

Keyword(s):

Control Systems ◽

Security Analysis ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Quantitative cyber-physical security analysis methodology for industrial control systems based on incomplete information Bayesian game

Computers & Security ◽

10.1016/j.cose.2020.102138 ◽

2021 ◽

Vol 102 ◽

pp. 102138

Author(s):

Xiaoxue Liu ◽

Jiexin Zhang ◽

Peidong Zhu ◽

Qingping Tan ◽

Wei Yin

Keyword(s):

Incomplete Information ◽

Control Systems ◽

Security Analysis ◽

Physical Security ◽

Industrial Control ◽

Bayesian Game ◽

Industrial Control Systems ◽

Analysis Methodology

Download Full-text

A SysML Extension for Security Analysis of Industrial Control Systems

10.14236/ewic/icscsr2014.1 ◽

2014 ◽

Author(s):

Laurens Lemaire ◽

Jorn Lapon ◽

Bart De Decker ◽

Vincent Naessens

Keyword(s):

Control Systems ◽

Security Analysis ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Enhancement of Industrial Control Systems(ICS) Security for Service Company

Journal of Korea Service Management Society ◽

10.15706/jksms.2019.20.4.010 ◽

2019 ◽

Vol 20 (4) ◽

pp. 183-200

Author(s):

Jong Mo Sohn ◽

In Tae Lee ◽

Lim Hyo Chang

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems ◽

Service Company

Download Full-text