Analyse de la sécurité du protocole de technologie opérationnelle OPC UA.
Security Analysis of the Operational Technology Protocol OPC UA
Jury
Directeur de these_KREMER_Steve_Université de Lorraine
Rapporteur_AVOINE_Gildas_INSA Rennes
Rapporteur_LAFOURCADE_Pascal_Université Clermont Auvergne
Examinateur_LEVILLAIN_Olivier_Télécom Sud Paris
Examinateur_MINIER_Marine_Université de Lorraine
Co-encadrant de these_HIRSCHI_Lucca_Université de Lorraine
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Laboratoire
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Mention de diplôme
Informatique
C005
Bâtiment Ada Lovelace,
Campus Scientifique, 615 Rue du Jardin-Botanique, 54506 Vandœuvre-lès-Nancy
Mots clés
cybersécurité,protocole sécurisé,méthodes formelles,fuzzing,OPC UA,
Résumé de la thèse
Les infrastructures vitales sont largement informatisées au moyen de systèmes qui relèvent de la technologie opérationnelle.
Comment un état peut-il protéger ses infrastructures lorsqu'il est visé par des attaquants de niveau étatique ?
Dans une approche de défense en profondeur, il est recommandé que les systèmes industriels sécurisent leurs communications internes.
TLS est une solution robuste et largement utilisée pour sécuriser un protocole.
Toutefois, le mode d'intégrité sans chiffrement, recommandé pour la sûreté de fonctionnement, a été officiellement écarté à la conception de TLS v1.
Keywords
OT security,secure protocols,formal methods,fuzzing,OPC UA,
Abstract
In our society, critical infrastructures are controlled by fully computerised systems that fall within the remit of Operational Technology (OT).
So, how can a state protect its critical infrastructure when targeted by highly capable nation-state cyber attackers?
As part of a defence-in-depth approach, it is recommended that critical OT systems have secure communications.
A common choice to secure protocols is TLS, a tried-and-tested solution widely used in IT.
Yet, integrity without encryption, required by safety regulators, has been rejected from the start by TLS v1.3 and is still a controve
