Filtrage et vérification de flux métiers dans les systèmes industriels - Université Grenoble Alpes Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Filtrage et vérification de flux métiers dans les systèmes industriels

Maxime Puys
Marie-Laure Potet
  • Fonction : Auteur
Jean-Louis Roch

Résumé

De plus en plus d'attaques informatiques contre les systèmes indus-triels sont présentées par les médias. Ces systèmes tendent à devenir géo-graphiquement distribués et à communiquer via des réseaux vulnérables tels qu'Internet. Régissant de nos jours des domaines tels que la production et la distribution d'énergie, l'assainissement des eaux ou le nucléaire, la sécurité des systèmes industriels devient une priorité pour les gouver-nements. L'une des difficultés de la sécurisation des infrastructures in-dustrielles est la conciliation des propriétés de sécurité avec les attendus métiers en terme de flux. Pour ce faire, nous regardons comment filtrer les messages en tenant compte des aspects métiers. Ensuite, nous nous intéressons à la vérification formelle des propriétés des protocoles de communication industriels. Enfin nous proposons une approche Model-Based Testing permettant de générer des attaques informatiques contre des sys-tèmes industriels.
Fichier principal
Vignette du fichier
ressi16.pdf (251.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01316590 , version 1 (17-05-2016)

Identifiants

  • HAL Id : hal-01316590 , version 1

Citer

Maxime Puys, Marie-Laure Potet, Jean-Louis Roch. Filtrage et vérification de flux métiers dans les systèmes industriels. Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France. ⟨hal-01316590⟩
454 Consultations
89 Téléchargements

Partager

Gmail Facebook X LinkedIn More