@inproceedings{84386916a12346f0969b43ed958073d9,
title = "HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems",
abstract = "A Cyber-Physical System (CPS) is usually composed of subnetworks where each subnetwork is under ownership of one defender. Security threats on such CPS can be represented by an attack graph where the defenders are required to invest wisely their limited budget in order to protect their critical assets from being compromised. We model such CPS using hybrid input/output automaton (HIOA) where each subnetwork is represented by a HIOA module. We first establish the building blocks needed in our setting. We then present our model that characterizes the continuous time evolution of the investments and discrete transitions between different system's states (where each state represents a different condition within the system). Finally, we provide a representative real-world CPS to validate our modeling and show its benefit for CPS security. ",
keywords = "Attack Graphs, Cyber-Physical Systems, Game Theory, Hybrid Input/Output Automaton",
author = "Mustafa Abdallah and Sayan Mitra and Shreyas Sundaram and Saurabh Bagchi",
note = "Funding Information: VIII. Ac k n o w l e d g e m e n t s We thank the anonymous reviewers for their valuable comments to improve the quality of this paper. This material is based in part upon work supported by the National Science Foundation under Grant Number CNS-1718637, Wabash Heartland Innovation Network (WHIN) project from Lilly Endowment Inc. NSF CCF-1919197, and Army Research Lab under Contract number W911NF-2020-221. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the sponsors. Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 IEEE Symposium on Security and Privacy Workshops, SPW 2021 ; Conference date: 27-05-2021",
year = "2021",
month = may,
doi = "10.1109/SPW53761.2021.00044",
language = "English (US)",
series = "Proceedings - 2021 IEEE Symposium on Security and Privacy Workshops, SPW 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "253--259",
booktitle = "Proceedings - 2021 IEEE Symposium on Security and Privacy Workshops, SPW 2021",
address = "United States",
}