Owner of the document requires that the content be not remodified or redistributed.
Share |



Petri Net Modeling of Cyber-Physical Attacks on Smart Grid
Author:
Chen, T. M.; Sanchez-Aarnoutse, J. C.; Buford, J.
Year:
2011
Abstract:

This paper appears in: Smart Grid, IEEE Transactions on
Volume: PP Issue:99
On page(s): 1 - 1
ISSN: 1949-3053
Digital Object Identifier: 10.1109/TSG.2011.2160000
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 and detailed expertise in cyber-physical threats. To overcome these obstacles, we propose a novel hierarchical method to construct large Petri nets from a number of smaller Petri nets that can be created separately by different domain experts. The construction method is facilitated by a model description language that enables identical places in different Petri nets to be matched. The new modeling approach is described for an example attack on smart meters, and its efficacy is demonstrated by a proof-of-concept Python program.

Document Type:
Technical paper
Source:
IEEE