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.
Type de document :
Communication dans un congrès
Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France. 〈ressi2016.sciencesconf.org〉
Liste complète des métadonnées

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

http://hal.univ-grenoble-alpes.fr/hal-01316590
Contributeur : Maxime Puys <>
Soumis le : mardi 17 mai 2016 - 13:16:43
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : mercredi 16 novembre 2016 - 06:45:46

Fichier

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

Identifiants

  • 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. 〈ressi2016.sciencesconf.org〉. 〈hal-01316590〉

Partager

Métriques

Consultations de la notice

440

Téléchargements de fichiers

79