Rupture de protocole avec garanties de sécurité pour les systèmes de contrôle-commande (SCADA)
Contexte
La cyber-sécurité est un enjeu majeur pour la protection des systèmes de contrôle-commande d’installations industrielles, et des installations industrielles elles-mêmes. Le consortium ARAMIS fédère des entreprises et des laboratoires de recherche de l’Université de Grenoble- Alpes pour l’étude et la réalisation d'un dispositif innovant de rupture de protocole pour des flux de contrôle-commande intrinsèquement sûr (garanties d’intégrité). Le sujet de thèses ci-dessous démarrera au 1/10/2014 et sera réalisé en laboratoire à Grenoble, en collaboration avec des entreprises.
Description
Dans le cadre de systèmes industriels de contrôle et d'acquisition de données à grande échelle (SCADA), les commandes peuvent être envoyées par un réseau public en utilisant des protocoles standards (Modbus, OPC UA, ...).
L’objectif est de concevoir et d’implémenter un mécanisme générique réalisant une rupture pour des protocoles de haut niveau (web-services avec échanges en XML). Un haut niveau de sécurité et de fiabilité (EAL) est visé avec contraintes de performance temps-réel. Aussi, le dispositif de rupture sera construit sur des micro-noyaux certifiés (par exemple SEL-4) et des protocoles prouvés (par exemple MI-TLS) avec une conception vérifiée de façon semi-formelle. Ce travail s'effectuera en collaboration avec des industriels.
- Etude d'une cible de sécurité pour la rupture protocolaire (intégrité des flux);
- Analyse et modélisation des flux des protocoles de contrôle-commande;
- Spécification d’une architecture de rupture de protocoles de contrôle-commande (conversion de protocoles, sérialisation/dé-sérialisation, … );
- Compromis sécurité-performance et méthodologie de développement certifié;
- Intégration logicielle ou synthèse de la rupture sur micronoyau certifié; tests et validation.
Travail à effectuer
État de l'art sur les systèmes de rupture protocolaire et adéquation au protocoles de contrôle-commande; modèles d’attaques et caractérisation des propriétés d’intégrité; analyse et conversion des protocoles industriels (sftp, Modbus, OPC UA) ; développement d'un premier prototype dans une démarche de certification; implémentation avec analyse et vérification de propriétés de sécurité.
Encadrants
Gilles Berger-Sabbatel/Andrzej Duda/Bernard Tourancheau (LIG / Drakkar) et Vincent Danjean/Jean-Louis Roch (LIG - Inria / Moais)
Contact
Jean-Louis.Roch@imag.fr