Génération systématique de scénarios d'attaques contre des systèmes industriels

Résumé : Les systèmes industriels (SCADA) sont la cible d'attaques informatiques depuis Stuxnet [4] en 2010. De part leur interaction avec le mode physique, leur protection est devenue une priorité pour les agences gouvernementales. Dans cet article, nous proposons une approche de modélisation d'attaquants dans un système industriel incluant la production automatique de scénarios d'attaques. Cette approche se focalise sur les capacités de l'attaquant et ses objectifs en fonc-tion des protocoles de communication auxquels il fait face. La description de l'approche est illustrée à l'aide d'un exemple.
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

http://hal.univ-grenoble-alpes.fr/hal-01330949
Contributor : Maxime Puys <>
Submitted on : Monday, June 13, 2016 - 11:22:44 AM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM

File

afadl16.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01330949, version 1

Collections

Citation

Maxime Puys, Marie-Laure Potet, Jean-Louis Roch. Génération systématique de scénarios d'attaques contre des systèmes industriels. 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. ⟨hal-01330949⟩

Share

Metrics

Record views

263

Files downloads

274