Dépôt institutionnel de l'UQO
RECHERCHER

Formal methods for security protocol correctness

Pene, Liviu (2004). Formal methods for security protocol correctness. Mémoire. Gatineau, Université du Québec en Outaouais, Département d'informatique et d'ingénierie, 121 p.

Le plein texte n'est pas disponible pour ce document.

Résumé

Ce mémoire présente deux contributions de recherche dans l'utilisation de techniques formelles pour la vérification de protocoles de sécurité. La première contribution traite de la vérification des failles de confidentialité dans les protocoles cryptographiques par construction de modèles abstraits. La deuxième contribution est un cadre pour l'élaboration de preuves de corrections pour une sous classe de protocoles par rapport à la propriété de confidentialité. [...] La structure de ce mémoire est comme suit. Au chapitre 2, nous introduisons quelques définitions fondamentales relatives à la cryptographie et aux protocoles de sécurité. Au chapitre 3, nous présentons l'état de l'art dans la vérification de protocoles de sécurité. Au chapitre 4, nous présentons une nouvelle méthode de vérification de protocole de sécurité basée sur l'interprétation abstraite. Au chapitre 5, nous présentons un cadre de raisonnement formel permettant de vérifier la correction des protocoles de sécurité par rapport à la propriété de confidentialité. Au chapitre 6, nous résumons le travail présenté et soulignons nos contributions originales et de possibles développements futurs de notre travail.

Type de document: Thèse (Mémoire)
Directeur de mémoire/thèse: Adi, Kamel
Informations complémentaires: Bibliothèque L.-Brault QA76.9 A25 P454.2004 Le texte de ce mémoire est en anglais, mais il comprend un résumé en français. Comprend des réf. bibliogr. : p. 115-121
Mots-clés libres: Confidentialité; Correction; Cryptographie; Informatique; Interprétation abstraite; Protocole cryptographique; Protocole de sécurité; Protocole de communication; Vérification
Départements et école, unités de recherche et services: Informatique et ingénierie
Date de dépôt: 10 déc. 2012 21:26
Dernière modification: 01 août 2013 15:08
URI: http://di.uqo.ca/id/eprint/248

Actions (Identification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt