Return to search

Sécurisation de code basée sur la combinaison de la vérification statique et dynamique - Génération de moniteur à partir d'un automate de Rabin

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

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2009/26107
Date04 1900
CreatorsChabot, Hugues
ContributorsTawbi, Nadia
PublisherUniversité Laval
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageFrench
Detected LanguageFrench
TypeElectronic Thesis or Dissertation
Formattext/html, application/pdf
Rights© Hugues Chabot, 2009

Page generated in 0.0016 seconds