<  Retour au portail Polytechnique Montréal

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

Geneviève Bastien

Mémoire de maîtrise (2004)

Document en libre accès dans PolyPublie
[img]
Affichage préliminaire
Libre accès au plein texte de ce document
Version officielle de l'éditeur
Conditions d'utilisation: Tous droits réservés
Télécharger (25MB)
Afficher le résumé
Cacher le résumé

Mots clés

Cryptographie; Protection de l'information (Informatique); Sécurité informatique

Renseignements supplémentaires: 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
Département: Département de génie informatique et génie logiciel
Directeurs ou directrices: John Mullins
URL de PolyPublie: https://publications.polymtl.ca/7461/
Université/École: École Polytechnique de Montréal
Date du dépôt: 04 août 2021 11:05
Dernière modification: 02 oct. 2024 23:22
Citer en APA 7: Bastien, G. (2004). ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information [Mémoire de maîtrise, École Polytechnique de Montréal]. PolyPublie. https://publications.polymtl.ca/7461/

Statistiques

Total des téléchargements à partir de PolyPublie

Téléchargements par année

Provenance des téléchargements

Actions réservées au personnel

Afficher document Afficher document