| Title | Improving Security in SCADA Systems through Model-checking with TLA+ |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Obeidat, Nawar, Purdy, Carla |
| Conference Name | 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS) |
| Keywords | Circuits and systems, compositionality, Cyber-physical systems, cyberphysical security, formal specifications, Human Behavior, human factors impacting security, Manufacturing, pubcrawl, resilience, Resiliency, SCADA systems, SCADA Systems Security, specification languages, Transportation, trusted systems |
| Abstract | In today's world, Supervisory Control and Data Acquisition (SCADA) networks have many critical tasks, including managing infrastructure such as power, water, and sewage systems, and controlling automated manufacturing and transportation systems. Securing these systems is crucial. Here we describe a project to design security into an example system using formal specifications. Our example system is a component in a cybersecurity testbed at the University of Cincinnati, which was described in previous work. We also show how a design flaw can be discovered and corrected early in the system development process. |
| DOI | 10.1109/MWSCAS47672.2021.9531766 |
| Citation Key | obeidat_improving_2021 |
Improving Security in SCADA Systems through Model-checking with TLA+