2011
DOI: 10.1109/tsg.2011.2160000
|View full text |Cite
|
Sign up to set email alerts
|

Petri Net Modeling of Cyber-Physical Attacks on Smart Grid

Abstract: This is the accepted version of the paper.This version of the publication may differ from the final published version. Abstract-This paper investigates the use of Petri nets for modeling coordinated cyber-physical attacks on the smart grid. Petri nets offer more flexibility and expressiveness than traditional attack trees to represent the actions of simultaneous attackers. However, Petri net models for attacks on very large critical infrastructures such as the smart grid require a great amount of manual effort… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
99
0

Year Published

2012
2012
2022
2022

Publication Types

Select...
7
2
1

Relationship

0
10

Authors

Journals

citations
Cited by 228 publications
(99 citation statements)
references
References 36 publications
0
99
0
Order By: Relevance
“…Chen et al [11] investigate the use of Petri nets for modeling coordinated cyber-physical attacks on the smart grid. Yuan et al [12] propose a Smart Grids Distributed Intrusion Detection System (SGDIDS), by developing and deploying an intelligent module-the Analyzing Module (AM)-in the multiple layers of smart grids.…”
Section: Attack Methodsmentioning
confidence: 99%
“…Chen et al [11] investigate the use of Petri nets for modeling coordinated cyber-physical attacks on the smart grid. Yuan et al [12] propose a Smart Grids Distributed Intrusion Detection System (SGDIDS), by developing and deploying an intelligent module-the Analyzing Module (AM)-in the multiple layers of smart grids.…”
Section: Attack Methodsmentioning
confidence: 99%
“…Additionally, the work focuses on representing actions, while neglecting other incident characteristics (e.g., intent, resources) that can be useful during digital forensic investigations. Chen et al [20] use Petri nets as a modeling formalism to represent cyber-physical attacks on a smart grid. The approach represents concurrent physical and digital events to represent coordinated attacks performed by multiple attackers working in parallel.…”
Section: Related Workmentioning
confidence: 99%
“…In this regard, Petri Nets (PNs) were originally introduced as a modelling technique for concurrent systems [8].These nets can model specific cyber-physical attacks on smart grid [ 9 ]. Taking software protection as objective, Wang et al [10] focused on coloured PN based attack modelling.…”
Section: B Attack Modellingmentioning
confidence: 99%