Workshop Paper

Modeling attacker behavior in Cyber-Physical-Systems

PDF Online

Authors Samuel Rodriguez Gozalez Juan Betancourt Osorio Germán Pardo González Daniel Cuellar Camilo Gomez Francesco Mariotti Leonardo Montecchi Paolo Lollini
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 Text
S. 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-2022 Leonardo Montecchi