Ce mémoire présente une nouvelle approche pour sécuriser du code potentiellement malicieux à l'aide d'un moniteur incorporé au code.
Les premiers chapitres du mémoire introduisent les notions préliminaires à la présentation de l'approche.
Plus précisément, les concepts fondamentaux de la vérification de modèle et du contrôle des systèmes à événements discrets.
Le dernier chapitre présente les fondements théoriques de l'approche en généralisant les résultats de Ligatti, Bauer et Walker, et montre une classe de moniteurs qui est plus puissante lorsqu'on précise son contexte d'application.
Cette observation mène à l'élaboration d'une approche consistant à instrumenter un programme, dans le but de le rendre sécuritaire, à partir d'un modèle du programme et d'une propriété de sécurité représentée par un automate de Rabin. / Inscrit au Tableau d'honneur de la Faculté des études supérieures
Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2009/26107 |
Date | 04 1900 |
Creators | Chabot, Hugues |
Contributors | Tawbi, Nadia |
Publisher | Université Laval |
Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
Language | French |
Detected Language | French |
Type | Electronic Thesis or Dissertation |
Format | text/html, application/pdf |
Rights | © Hugues Chabot, 2009 |
Page generated in 0.0016 seconds