Deriving invariant checkers for critical infrastructure using axiomatic design principles

• Main Authors: YOONG, Cheah Huei, PALLETI, Venkata Reddy, MAITI, Rajib Ranjan, SILVA, Arlindo, POSKITT, Christopher M.
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2021
• Subjects: cyber-physical systems; critical infrastructure; industrial control systems; systematic design framework; axiomatic design; invariants; anomaly detection; supervised machine learning; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/6050; https://ink.library.smu.edu.sg/context/sis_research/article/7051/viewcontent/axiomatic_design_cyse21.pdf
• Institution: Singapore Management University

Cyber-physical systems (CPSs) in critical infrastructure face serious threats of attack, motivating research into a wide variety of defence mechanisms such as those that monitor for violations of invariants, i.e. logical properties over sensor and actuator states that should always be true. Many app...