© 2017-2024 Leonardo Montecchi
Workshop Paper
Authors | |
---|---|
Abstract | Societies are increasingly dependent on Cyber Physical Systems (CPSs), which are exposed to natural and human-made attacks. Attacks on CPSs can result in security breaches and behaviors that may impose harm on their environments. Understanding attack mechanisms is crucial to preventing losses or damage to people, assets or information. We develop a computational environment that allows to implement attacker agents under a stochastic optimization framework, allowing to use different techniques to model attacking behavior (i.e., policies), including approximate dynamic programming, reinforcement learning, or stochastic programming, as well as arbitrary policies (e.g., rules of thumb). We rely on the ADVISE formalism to represent attack paths on CPSs, leveraging their Markov Decision Process structure to build an environment that allows to test attacker and defender policies. The proposed environment is tested by simulating attacks on a SCADA system previously addressed in the literature, demonstrating satisfactory convergence for a Q-learning algorithm, which allows to identify the attack steps that most frequently lead to successful attacks. The proposed approach allows flexibility in modeling attackers, and allows to conceive models with interacting attacker and defender agents, which is left as the main goal of future work. |
DOI | 10.1145/3569902.3570188 |
Event | 3rd Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2022) |
Main Event | 11th Latin-American Symposium on Dependable Computing (LADC 2022) |
Venue | Fortaleza, CE, Brazil |
Date | November 23-24, 2022 |
Pages | 117-124 |
Publisher | ACM |
ISBN | 978-1-4503-9737-7 |
Citation |
Bibtex
@inproceedings{2022WAFERS, author = {Rodriguez Gozalez, Samuel and Betancourt Osorio, Juan and Pardo González, Germán and Cuellar, Daniel and Gomez, Camilo and Mariotti, Francesco and Montecchi, Leonardo and Lollini, Paolo}, title = {{Modeling attacker behavior in Cyber-Physical-Systems}}, booktitle = {3rd Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2022)}, address = {Fortaleza, CE, Brazil}, date = {2022-11-23/2022-11-24}, pages = {117-124}, year = {2022} }
Plain TextS. Gozalez, J. Osorio, G. González, D. Cuellar, C. Gomez, F. Mariotti, L. Montecchi, P. Lollini.
Modeling attacker behavior in Cyber-Physical-Systems.
In: 3rd Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2022), pp. 117-124.
Fortaleza, CE, Brazil, November 23-24, 2022.
|
© 2017-2024 Leonardo Montecchi