Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

Abstract : The progressive integration of software-based components into the electricity grid has given raise to what is known as Smart Grids. As long as Smart Grids gain on connectivity and automation, new concerns on their safety and security have arisen. It is agreed that non-negligible risks and enlarged impact due to misbehaviors and intrusions exist. Following a model driven paradigm, a method is proposed to reinforce the security of these complex widely distributed systems. The method guides system re-engineering and is based upon timed models. It encompasses reverse engineering, symbolic, and testing techniques to model, analyze, and deploy attack testing. In early stages of the method, a reference timed model to support security analyses is designed via reverse engineering and symbolic execution. During latter stages, the nominal models are enriched so as to specify attack scenarios which are symbolically executed to prove the ability of the system to detect attacker intrusions. In final stages, the attack scenarios are used to specify test cases which are later deployed to test the system. The method and main outcomes are presented relying upon a Smart Grid subsystem analyzed in the scope of a joint academy-industry project.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-01302826
Contributor : Gabriel Pedroza <>
Submitted on : Friday, April 15, 2016 - 10:55:08 AM
Last modification on : Thursday, February 7, 2019 - 2:36:36 PM
Long-term archiving on : Tuesday, November 15, 2016 - 4:06:52 AM

File

ISORC-2016.pdf
Files produced by the author(s)

Identifiers

Citation

Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey. Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems. 19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15 ⟩. ⟨cea-01302826⟩

Share

Metrics

Record views

264

Files downloads

247