Formal analysis and verification of industrial control system security via timed automata

2020 International Conference on Internet of Things and Intelligent Applications (ITIA) ◽

10.1109/itia50152.2020.9312289 ◽

2020 ◽

Author(s):

Guoqing Wang ◽

Lei Zhuang ◽

Taotao Liu ◽

Shuxia Li ◽

Sijin Yang ◽

...

Keyword(s):

Control System ◽

Timed Automata ◽

Formal Analysis ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text

Proceedings of the Fifth Annual Industrial Control System Security (ICSS) Workshop

10.1145/3372318 ◽

2019 ◽

Keyword(s):

Control System ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text

Industrial control system security

Introduction to Plant Automation and Controls ◽

10.4324/9781003091134-19 ◽

2020 ◽

pp. 510-525

Author(s):

Raymond F. Gardner

Keyword(s):

Control System ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text

How Industrial Control System Security Training is Falling Short

IFIP Advances in Information and Communication Technology - Critical Infrastructure Protection IX ◽

10.1007/978-3-319-26567-4_9 ◽

2015 ◽

pp. 135-149 ◽

Author(s):

Jonathan Butts ◽

Michael Glover

Keyword(s):

Control System ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Security Training ◽

Industrial Control System Security

Download Full-text

An Efficient Tool for Industrial Control System Security Analysis

2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech) ◽

10.1109/dasc-picom-datacom-cyberscitec.2016.84 ◽

2016 ◽

Author(s):

Chuangming Xia ◽

Jing Tian ◽

Erqing Li ◽

Junwei Zhou ◽

Jianwen Xiang ◽

...

Keyword(s):

Control System ◽

Security Analysis ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Efficient Tool ◽

Industrial Control System Security

Download Full-text

Proceedings of the 3rd Annual Industrial Control System Security Workshop

10.1145/3174776 ◽

2017 ◽

Keyword(s):

Control System ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text

Advanced Persistent Threat Model for Testing Industrial Control System Security Mechanisms

Proceedings of the International Congress on Information and Communication Technology - Advances in Intelligent Systems and Computing ◽

10.1007/978-981-10-0767-5_64 ◽

2016 ◽

pp. 617-625

Author(s):

Mercy Bere-Chitauro ◽

Hippolyte Muyingi ◽

Attlee Gamundani ◽

Shadreck Chitauro

Keyword(s):

Control System ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Threat Model ◽

Advanced Persistent Threat ◽

Industrial Control System Security

Download Full-text

Whitelist-Based Anomaly Detection for Industrial Control System Security

The Journal of Korean Institute of Communications and Information Sciences ◽

10.7840/kics.2013.38b.8.641 ◽

2013 ◽

Vol 38B (8) ◽

pp. 641-653 ◽

Author(s):

Hyunguk Yoo ◽

Jeong-Han Yun ◽

Taeshik Shon

Keyword(s):

Control System ◽

Anomaly Detection ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text

Don’t get Stung, Cover your ICS in Honey: How do Honeypots fit within Industrial Control System Security

Computers & Security ◽

10.1016/j.cose.2021.102598 ◽

2021 ◽

pp. 102598

Author(s):

Sam Maesschalck ◽

Vasileios Giotsas ◽

Benjamin Green ◽

Nicholas Race

Keyword(s):

Control System ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text

What Makes an Industrial Control System Security Testbed Credible and Acceptable? Towards a Design Consideration Framework

10.5220/0010170300002995 ◽

2021 ◽

Author(s):

Uchenna Ani ◽

Jeremy Watson

Keyword(s):

Control System ◽

System Security ◽

Design Consideration ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text

Sixth Annual Industrial Control System Security (ICSS) Workshop

10.1145/3442144 ◽

2020 ◽

Keyword(s):

Control System ◽

System Security ◽

Industrial Control System ◽

Industrial Control ◽

Industrial Control System Security

Download Full-text