Modeling cyber-physical attacks based on probabilistic colored Petri nets and mixed-strategy game theory

Xiaoxue Liu, Jiexin Zhang and Peidong Zhu

International Journal of Critical Infrastructure Protection, 2017, vol. 16, issue C, 13-25

Abstract: Cyber-physical attacks are posing great threats to the safety and security of cyber-physical systems. Modeling cyber-physical attacks reasonably and efficiently is the basis for defending cyber-physical systems effectively, which requires the development of quantitative analysis and modeling approaches for expressing threat propagation in cyber-physical systems. This paper extends the colored Petri net model by defining a probabilistic colored Petri net model that comprises basic models, rules, logical operators and transitions that describe threat propagation between nodes. Basic cyber-physical attack models based on probabilistic colored Petri nets are presented. Furthermore, a systematic modeling approach is presented for constructing a quantitative cyber-physical attack model for a cyber-physical system. The weights of the cyber-physical attack model connections are computed using a mixed-strategy attack-defense game model for each node and solving the Nash equilibrium. Additionally, a hierarchical method of division and integration is proposed to efficiently model complex, large-scale cyber-physical systems. Finally, the systematic cyber-physical attack modeling approach is applied to a case study involving a thermal power plant.

Keywords: Cyber-Physical Systems; Cyber-Physical Attacks; Systematic Quantitative Modeling Approach; Dependency Model; Attack Model; Probabilistic Colored Petri Nets; Mixed-Strategy Attack-Defense Game Model (search for similar items in EconPapers)
Date: 2017
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (4)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S1874548216300798
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:ijocip:v:16:y:2017:i:c:p:13-25

DOI: 10.1016/j.ijcip.2016.11.002

Access Statistics for this article

International Journal of Critical Infrastructure Protection is currently edited by Leon Strous

More articles in International Journal of Critical Infrastructure Protection from Elsevier
Bibliographic data for series maintained by Catherine Liu ().