Thèse soutenue

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
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Dmitry Levshun
Direction : Yannick ChevalierIgor Kotenko
Type : Thèse de doctorat
Discipline(s) : Informatique et Télécommunications
Date : Soutenance le 15/12/2021
Etablissement(s) : Toulouse 3 en cotutelle avec ITMO University
Ecole(s) doctorale(s) : École doctorale Mathématiques, informatique et télécommunications (Toulouse)
Partenaire(s) de recherche : Laboratoire : Institut de Recherche en Informatique de Toulouse (1995-....)
Jury : Président / Présidente : Ileana Ober
Examinateurs / Examinatrices : Yannick Chevalier, Igor Kotenko, Roland Rieke, Vasily Desnitsky
Rapporteurs / Rapporteuses : Costin Badica, Andrei Petrovski, Vladimir Oleshchuk

Résumé

FR  |  
EN

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.