<  Back to the Polytechnique Montréal portal

ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information

Geneviève Bastien

Masters thesis (2004)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (25MB)
Cite this document: Bastien, G. (2004). ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information (Masters thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/7461/
Show abstract Hide abstract

Abstract

Méthodes de vérification -- Modélisation du protocole -- Spécification des propriétés -- Vérification -- Aspic -- Étude de cas.

Uncontrolled Keywords

Cryptographie; Protection de l'information (Informatique); Sécurité 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/67855555
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/7461/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only