Traçabilité et intégrité de l’information au sein de systèmes critiques : analyse et proposition de méthodes statistiques
by Raphaël Larsen
Doctoral thesis in Informatique
Under the supervision of Gouenou Coatrieux.
defended on 07-03-2022
in Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire , under the authority of École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) , in a partnership with Laboratoire de traitement de l’information médicale (Brest, Finistère) (laboratoire) and Département lmage et Traitement Information (laboratoire) .
Thesis committee President: Laurent Nana Tchamnda.
Thesis committee members: Gouenou Coatrieux, Éric Totel, Grégoire Mercier, Abdelfattah Riadh, Johanne Vincent.
Examiners: Éric Totel, Grégoire Mercier.
-
Alternative Title
Traceability and integrity of information within critical systems : study and proposal of statistical methods
-
Abstract
Industrial systems often work for years and their devices are sometimes energetically constrained so that new security measures are not practicable. Passive solutions, i.e. with only data at hand, to the problem of system physical processes security through sensors, actuators and automata values monitoring are studied. The major part of our work concerns data integrity, that is the fact that data linked to a set of actions of the system are not unexpectedly modified, and information traceability which we define as the capability to authenticate each process of data transformation from their creation by the industrial system to their end use. We propose a new concept of Cyber-Physical System state that machine learning models can use to handle the issue of data integrity and we use it with the autoencoder. We propose a new class of Deep Learning classifiers with a measure of confidence in the prediction which we use for information traceability.
- Securité
- Apprentissage automatique
- Système de Contrôle Industriel
- Objets coopérants (informatique)
- Apprentissage automatique
- Génie industriel
- Contrôle
keywords
-
Abstract
Les systèmes industriels sont voués à fonctionner des années durant et leurs dispositifs font parfois face à des contraintes énergétiques empêchant la mise en place de nouveaux moyens de sécurité. Nous étudions donc des solutions passives, c’est-à-dire n’ayant besoin que des données, au problème de surveillance des processus physiques de systèmes industriels par l’observation des valeurs des capteurs, des actionneurs et des commandes des automates. La majeure partie de nos travaux concerne l’intégrité de ces données qui se traduit par le fait que les données liées à un ensemble d’actions du système n’ont pas subies un changement inattendue et la traçabilité de l’information que nous définissons comme la capacité d’authentifier chaque processus de transformation des données depuis leur création par le système industriel jusqu’à leur dernière utilisation. Nous proposons un nouveau concept d’état de Système Cyber-Physique que les modèles d’apprentissage automatique peuvent utiliser pour répondre aux questions de l’intégrité et de la traçabilité des données et nous l’appliquons plus particulièrement à l’autoencoder. Nous proposons un nouveau type de réseau de neurones classifieur accompagné d’une mesure de confiance qui nous permet de répondre à notre problème de traçabilité.
