Security Verification of Industrial Control Systems using Partial Model Checking

Proceedings of the 8th International Conference on Formal Methods in Software Engineering ◽

10.1145/3372020.3391558 ◽

2020 ◽

Author(s):

Tomas Kulik ◽

Jalil Boudjadar ◽

Peter W. V. Tran-Jørgensen

Keyword(s):

Model Checking ◽

Control Systems ◽

Industrial Control ◽

Industrial Control Systems ◽

Partial Model ◽

Security Verification

Download Full-text

Model Checking of Security Properties in Industrial Control Systems (ICS)

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy - CODASPY '18 ◽

10.1145/3176258.3176949 ◽

2018 ◽

Author(s):

Roshan Shrestha ◽

Hoda Mehrpouyan ◽

Dianxiang Xu

Keyword(s):

Model Checking ◽

Control Systems ◽

Industrial Control ◽

Industrial Control Systems ◽

Security Properties

Download Full-text

Model checking as a protective method against spurious actuation of industrial control systems

Safety and Reliability – Theory and Applications ◽

10.1201/9781315210469-404 ◽

2017 ◽

Author(s):

A Pakonen ◽

K Björkman

Keyword(s):

Model Checking ◽

Control Systems ◽

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

Cyber-Security Controls for Industrial Control Systems

JAPAN TAPPI JOURNAL ◽

10.2524/jtappij.68.275 ◽

2014 ◽

Vol 68 (3) ◽

pp. 275-280

Author(s):

Kentaro Hayashi

Keyword(s):

Control Systems ◽

Cyber Security ◽

Industrial Control ◽

Industrial Control Systems ◽

Security Controls

Download Full-text

Fieldbus standard for use in industrial control systems

10.3403/01173281 ◽

1994 ◽

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Digital data communications for measurement and control. Fieldbus for use in industrial control systems

10.3403/03103678u ◽

2015 ◽

Keyword(s):

Control Systems ◽

Digital Data ◽

Data Communications ◽

Industrial Control ◽

Industrial Control Systems ◽

And Control ◽

Measurement And Control

Download Full-text

Fieldbus standard for use in industrial control systems

10.3403/03105471u ◽

2015 ◽

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Cybersafety: A System-theoretic Approach to Identify Cyber-vulnerabilities & Mitigations in Industrial Control Systems

SSRN Electronic Journal ◽

10.2139/ssrn.3542551 ◽

2019 ◽

Author(s):

Shaharyar Khan ◽

Stuart E. Madnick

Keyword(s):

Control Systems ◽

Theoretic Approach ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Cybersafety Analysis of Industrial Control Systems: Chiller Systems (Revised)

SSRN Electronic Journal ◽

10.2139/ssrn.3570148 ◽

2020 ◽

Author(s):

Shaharyar Khan ◽

Stuart E. Madnick

Keyword(s):

Control Systems ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

The ‘systems approach’ to industrial control systems design, development and implementation using IEC 61131

10.1049/ic:20000687 ◽

2000 ◽

Author(s):

I.R. Holland

Keyword(s):

Control Systems ◽

Systems Approach ◽

Systems Design ◽

Design Development ◽

Industrial Control ◽

Industrial Control Systems ◽

Control Systems Design

Download Full-text