Inférence et analyse de propriétés dans les protocoles contrôle-commande - Université Grenoble Alpes Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

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.
Fichier non déposé

Dates et versions

hal-01415941 , version 1 (13-12-2016)

Identifiants

  • HAL Id : hal-01415941 , version 1

Citer

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⟩
124 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More