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

Roshan Shrestha, Hoda Mehrpouyan, Dianxiang Xu

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Scopus citations

Abstract

With the increasing inter-connection of operation technology to the IT network, the security threat to the Industrial Control System (ICS) is increasing daily. Therefore, it is critical to utilize formal verification technique such as model checking to mathematically prove the correctness of security and safety requirements in the controller logic before it is deployed on the field. However, model checking requires considerable effort for regular ICS users and control technician to verify properties. This paper, provides a simpler approach to the model checking of temperature process control system by first starting with the control module design without formal verification. Second, identifying possible vulnerabilities in such design. Third, verifying the safety and security properties with a formal method.

Original languageAmerican English
Title of host publicationCODASPY '18: Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy
Pages164-166
Number of pages3
ISBN (Electronic)9781450356329
DOIs
StatePublished - 1 Jan 2018
Event8th ACM Conference on Data and Application Security and Privacy, CODASPY 2018 - Tempe, United States
Duration: 19 Mar 201821 Mar 2018

Publication series

Name2018-January

Conference

Conference8th ACM Conference on Data and Application Security and Privacy, CODASPY 2018
Country/TerritoryUnited States
CityTempe
Period19/03/1821/03/18

EGS Disciplines

  • Computer Sciences

Fingerprint

Dive into the research topics of 'Model Checking of Security Properties in Industrial Control Systems (ICS)'. Together they form a unique fingerprint.

Cite this