Models, algorithms and methodology for design of microcontroller-based physical security systems protected from cyber-physical attacks - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2021

Models, algorithms and methodology for design of microcontroller-based physical security systems protected from cyber-physical attacks

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
  • Fonction : Auteur
  • PersonId : 1143694
  • IdRef : 26291459X

Résumé

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.
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.
Fichier principal
Vignette du fichier
2021TOU30252a.pdf (8.56 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03699663 , version 1 (20-06-2022)

Identifiants

  • HAL Id : tel-03699663 , version 1

Citer

Dmitry Levshun. Models, algorithms and methodology for design of microcontroller-based physical security systems protected from cyber-physical attacks. Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30252⟩. ⟨tel-03699663⟩
97 Consultations
266 Téléchargements

Partager

Gmail Facebook X LinkedIn More