Towards systematically deriving defence mechanisms from functional requirements of cyber-physical systems

• Main Authors: YOONG, Cheah Huei, PALLETI, Venkata Reddy, SILVA, Arlindo, POSKITT, Christopher M.
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2020
• Subjects: cyber-physical systems; systematic design framework; anomaly detection; axiomatic design; supervised machine learning; Information Security; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5313; https://ink.library.smu.edu.sg/context/sis_research/article/6316/viewcontent/axiomatic_design_cpss20.pdf
• Institution: Singapore Management University

The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated the development of different attack detection mechanisms, such as those that monitor for violations of invariants, i.e. properties that always hold in normal operation. Given the complexity of CPSs, several...