Towards Formally Verified Key Management for Industrial Control Systems

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

10.1145/3372020.3391555 ◽

2020 ◽

Author(s):

Tomas Kulik ◽

Jalil Boudjadar ◽

Diego F. Aranha

Keyword(s):

Control Systems ◽

Key Management ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text

Identity-based cryptography (IBC) based key management system (KMS) for industrial control systems (ICS)

2017 1st Cyber Security in Networking Conference (CSNet) ◽

10.1109/csnet.2017.8242008 ◽

2017 ◽

Author(s):

Zakarya Drias ◽

Ahmed Serhrouchni ◽

Olivier Vogel

Keyword(s):

Control Systems ◽

Key Management ◽

Management System ◽

Industrial Control ◽

Industrial Control Systems ◽

Identity Based ◽

Identity Based Cryptography

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

Information Hiding in Industrial Control Systems: An OPC UA based Supply Chain Attack and its Detection

Proceedings of the 2020 ACM Workshop on Information Hiding and Multimedia Security ◽

10.1145/3369412.3395068 ◽

2020 ◽

Author(s):

Mario Hildebrandt ◽

Kevin Lamshöft ◽

Jana Dittmann ◽

Tom Neubert ◽

Claus Vielhauer

Keyword(s):

Supply Chain ◽

Control Systems ◽

Information Hiding ◽

Industrial Control ◽

Industrial Control Systems

Download Full-text