TY - GEN
T1 - Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems
AU - Ukegbu, Chibuzo
AU - Neupane, Ramesh
AU - Mehrpouyan, Hoda
N1 - Publisher Copyright:
© 2023 ACM.
PY - 2023/6/14
Y1 - 2023/6/14
N2 - As part of Industrial Control Systems (ICS), the control logic controls the physical processes of critical infrastructures such as power plants and water and gas distribution. The Programmable Logic Controller (PLC) commonly manages these processes through actuators based on information received from sensor readings. Therefore, boundary checking is essential in ICS because sensor readings and actuator values must be within the safe range to ensure safe and secure ICS operation. In this paper, we propose an ontology-based approach to provide the knowledge required to verify the boundaries of ICS components with respect to their safety and security specifications. For the proof of concept, the formal model of the Programmable Logic Controller (PLC) is created in UPPAAL and validated in UPPAAL-API.
AB - As part of Industrial Control Systems (ICS), the control logic controls the physical processes of critical infrastructures such as power plants and water and gas distribution. The Programmable Logic Controller (PLC) commonly manages these processes through actuators based on information received from sensor readings. Therefore, boundary checking is essential in ICS because sensor readings and actuator values must be within the safe range to ensure safe and secure ICS operation. In this paper, we propose an ontology-based approach to provide the knowledge required to verify the boundaries of ICS components with respect to their safety and security specifications. For the proof of concept, the formal model of the Programmable Logic Controller (PLC) is created in UPPAAL and validated in UPPAAL-API.
KW - Control Systems
KW - Formal Verification
KW - Security Properties
UR - http://www.scopus.com/inward/record.url?scp=85161431576&partnerID=8YFLogxK
U2 - 10.1145/3590777.3590785
DO - 10.1145/3590777.3590785
M3 - Conference contribution
AN - SCOPUS:85161431576
T3 - ACM International Conference Proceeding Series
SP - 47
EP - 52
BT - Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference, EICC 2023
T2 - 2023 European Interdisciplinary Cybersecurity Conference, EICC 2023
Y2 - 14 June 2023 through 15 June 2023
ER -