Abstraction et vérification de programmes informatiques

DC FieldValueLanguage
dc.contributor.advisorKtari, Béchir-
dc.contributor.authorChorfi, Redha-
dc.date.accessioned2018-04-13T21:21:27Z-
dc.date.available2018-04-13T21:21:27Z-
dc.date.issued2008-
dc.identifier.other25710-
dc.identifier.urihttp://hdl.handle.net/20.500.11794/20342-
dc.description.abstractLes systèmes informatiques offrent une grande flexibilité aux usagers en leur permettant l'accès, notamment par le biais de réseaux de télécommunication ou de l'Internet, à un vaste éventail de services. Toutefois, certains de ces services sont soumis à de fortes contraintes de sécurité, comme le télépaiement qui est au coeur du commerce électronique. Ainsi, les fournisseurs et les utilisateurs expriment des besoins croissants, et antagonistes, en sécurité. Répondre à ces deux besoins simultanément est un enjeu technologique transversal à de nombreux domaines de l'informatique. L'objectif de ce travail est de développer un mécanisme permettant de garantir la sécurité des systèmes, en s'appuyant sur l'expérience établie dans le domaine de la sécurité et des méthodes formelles. Pour se faire, nous définissons un nouveau cadre de vérification des propriétés de sécurité d'un programme informatique par l'analyse des flots de données et de contrôle construits à partir du code de ce dernier. L'idée principale consiste à définir un modèle pouvant abstraire la trace d'événements et les dépendances de ressources engendrés au moment de l'exécution du programme, et pouvant être soumis à des algorithmes de vérification de modèle (model-checking) pour l'analyse de la sûreté du programme vis-à-vis d'une propriété.fr_CA
dc.format.extent108 p.-
dc.languagefre-
dc.subject.classificationQA 76.05 UL 2008-
dc.titleAbstraction et vérification de programmes informatiquesfr_CA
dc.typeCOAR1_1::Texte::Thèse::Mémoire de maîtrisefr
dc.date.updated2018-04-13T21:21:27Z-
dc.subject.rvmLogiciels -- Vérificationfr_CA
dc.subject.rvmSécurité informatiquefr_CA
dc.subject.rvmMéthodes formelles (Informatique)fr_CA
dcterms.publisher.locationQuébec-
dc.identifier.bacTC-QQLA-25710-
bul.identifier.controlNumbera1799745-
etdms.degree.nameMémoire. Informatiquefr_CA
etdms.degree.grantorUniversité Lavalfr_CA
Collection:Thèses et mémoires

Files in this item:
Description SizeFormat 
25710.pdfTexte778.44 kBAdobe PDFThumbnail
View/Open
All documents in CorpusUL are protected by Copyright Act of Canada.