Inférence et analyse de propriétés dans les protocoles contrôle-commande

Emmanuel Perrier 1
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
Résumé : Les réseaux de contrôle-commande industriels dit SCADA s'ouvrent de plus en plus vers l'extérieur (contrôle à distance, SCADA de quatrième génération tournés vers l'internet des objets) les rendants sensibles aux attaques par réseaux informatiques. L'objectif de ma thèse est d'améliorer leur sécurité en utilisant une approche de modélisation par inférence de boite-noire afin de caractériser le comportement ou la configuration d'un élément dans le réseau. On se propose de combiner des techniques d'inférence active d'automate et de classification du trafic, appliqué aux protocoles industriels et notamment OPC-UA, le standard industriel. À partir du modèle inféré, il sera alors possible de générer des règles de filtrage de paquets très fines ou encore de déterminer si oui ou non le comportement de l'élément ciblé est légitime.
Type de document :
Communication dans un congrès
Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France
Liste complète des métadonnées

http://hal.univ-grenoble-alpes.fr/hal-01415941
Contributeur : Catherine Oriat <>
Soumis le : mardi 13 décembre 2016 - 17:37:58
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Identifiants

  • HAL Id : hal-01415941, version 1

Collections

Citation

Emmanuel Perrier. Inférence et analyse de propriétés dans les protocoles contrôle-commande. Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France. 〈hal-01415941〉

Partager

Métriques

Consultations de la notice

173