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

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.
Liste complète des métadonnées

Cited literature [17 references]  Display  Hide  Download

http://hal.univ-grenoble-alpes.fr/hal-01316590
Contributor : Maxime Puys <>
Submitted on : Tuesday, May 17, 2016 - 1:16:43 PM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM
Document(s) archivé(s) le : Wednesday, November 16, 2016 - 6:45:46 AM

File

ressi16.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01316590, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

578

Files downloads

90