Modèles algorithmes et méthodologie pour la conception de systèmes de sécurité physique basés sur des microcontrôleurs protégés des attaques cyber-physiques / Dmitry Levshun ; sous la direction de Yannick Chevalier et de Igor Kotenko

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Microcontrôleurs

Systèmes informatiques -- Mesures de sûreté

Chevalier, Yannick (1974-.... ; enseignant-chercheur en informatique) (Directeur de thèse / thesis advisor)

Kotenko, Igor (Directeur de thèse / thesis advisor)

Ober, Ileana (19..-.... ; enseignante-chercheuse en informatique) (Président du jury de soutenance / praeses)

Badica, Costin (Rapporteur de la thèse / thesis reporter)

Petrovski, Andrei (19..-....) (Rapporteur de la thèse / thesis reporter)

Oleshchuk, Vladimir (19..-....) (Rapporteur de la thèse / thesis reporter)

Rieke, Roland (19..-....) (Membre du jury / opponent)

Desnitsky, Vasily (Membre du jury / opponent)

Université Toulouse 3 Paul Sabatier (1969-....) (Organisme de soutenance / degree-grantor)

ITMO University (Organisme de cotutelle / degree co-grantor)

École doctorale Mathématiques, informatique et télécommunications (Toulouse) (Ecole doctorale associée à la thèse / doctoral school)

Institut de Recherche en Informatique de Toulouse (1995-....) (Laboratoire associé à la thèse / thesis associated laboratory)

Relation : Modèles algorithmes et méthodologie pour la conception de systèmes de sécurité physique basés sur des microcontrôleurs protégés des attaques cyber-physiques / Dmitry Levshun ; sous la direction de Yannick Chevalier et de Igor Kotenko / Toulouse : Université Toulouse 3 , 2021

Résumé / Abstract : Un moyen d'assurer la sécurité de systèmes basés sur des micro-contrôleurs (mCS) est de considérer une approche de génération à partir de spécifications. Malheureusement, les approches existantes souffrent d'inconvénients, et le but de la méthodologie présentée dans cette thèse est de les éviter dans le cas particulier des mCS pour la sécurité physique (mCS-Sec). Les principaux résultats de ce travail sont le développement de modèles, d'algorithmes, et d'une méthodologie originale de création de mCS-Sec, et leur implémentation. L'applicabilité de la méthode a été évaluée sur un système de robot de surveillance d'une zone. Dans ce cas, notre évaluation a montré que l'approche développée satisfaisait toutes les contraintes imposées, tout en offrant certains avantages par rapport aux solutions existantes. Nous pensons que cette approche permettra de réduire le nombre de faiblesses et les problèmes d'architecture dans les mCS, ce qui en réduira la surface d'attaque.

Résumé / Abstract : One of the possible ways to ensure the security of microcontroller-based systems is the implementation of security by design approach. Unfortunately, existing approaches are not without drawbacks, that is why this thesis is aimed at developing the new one. Moreover, among all possible systems, in this work, only physical security systems were chosen as an area of the application. The main findings of the work are containing original models, algorithms, methodology and software implementation. Their correctness was checked on a system of mobile robots for perimeter monitoring. The evaluation of the developed solution showed that it satisfies all requirements while having advantages over commercial and scientific analogues, which means that the goal of this work was reached. It is assumed that the use of the developed solution will help to reduce the number of weak places and architectural defects in microcontroller-based systems, thereby significantly reducing their attack surface.