<  Back to the Polytechnique Montréal portal

Spécification et validation de protocoles de sécurité

Stéphane Lafrance

PhD thesis (2005)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (8MB)
Cite this document: Lafrance, S. (2005). Spécification et validation de protocoles de sécurité (PhD thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/7577/
Show abstract Hide abstract

Abstract

Méthodes de validation de protocoles de sécurité -- Spécification de protocoles de sécurité -- Modèle de spécification symbolique -- Validation de protocoles de sécurité -- Propriétés des protocoles de sécurité -- Examples d'analyses de protocoles de sécurité.

Uncontrolled Keywords

Security Protocol Process Algebra; Sécurité informatique -- Mathématiques; Chiffrement (Informatique)

Open Access document in PolyPublie
Additional Information: Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/184737553
Department: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:05
Last Modified: 25 Aug 2021 14:58
PolyPublie URL: https://publications.polymtl.ca/7577/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only