Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Résumé

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.
Fichier principal
Vignette du fichier
ISORC-2016.pdf (781.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

cea-01302826 , version 1 (15-04-2016)

Identifiants

Citer

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⟩
198 Consultations
366 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More