Instrumentation optimisée de code pour prévenir l'exécution de code malicieux

Authors: Lemay, Frédérick
Advisor: Tawbi, Nadia
Abstract: Les systèmes informatiques occupent une place grandissante dans notre société actuelle hautement informatisée. À mesure que les systèmes transactionnels traditionnels sont informatisés, une composante de confidentialité vient s'ajouter aux systèmes informatiques. Ces systèmes gagnant en complexité, la vérification manuelle par des êtres humains devient rapidement impraticable. Nous présentons des methods traditionnelles de verification automatique de la conformité d'un programme à une propriété de sécurité. Ensuite, nous présentons une approche originale de Hugues Chabot et al. utilisant des omega-automates, qui permettent de verifier des programmes pour lesquels une execution peut ne jamais se terminer. Nous proposons quelques optimisations puis procédons a son implantation pour en mesurer la performance. Nous présentons finalement une approche alternative, base sur la théorie des transactions logicielles, qui permet de corriger un programme deviant plutôt que de le rejetter. Nous terminons en posant un regrard critique sur le travail accompli.
Document Type: Mémoire de maîtrise
Issue Date: 2012
Open Access Date: 18 April 2018
Permalink: http://hdl.handle.net/20.500.11794/23459
Grantor: Université Laval
Collection:Thèses et mémoires

Files in this item:
SizeFormat 
29030.pdf22.37 MBAdobe PDFView/Open
All documents in CorpusUL are protected by Copyright Act of Canada.