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.
Type de document :
Communication dans un congrès
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France. 〈http://afadl2016.conf.citi-lab.fr/〉
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

http://hal.univ-grenoble-alpes.fr/hal-01330949
Contributeur : Maxime Puys <>
Soumis le : lundi 13 juin 2016 - 11:22:44
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02

Fichier

afadl16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 〈http://afadl2016.conf.citi-lab.fr/〉. 〈hal-01330949〉

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

235