<  Retour au portail Polytechnique Montréal

ASPIC : A tool for symbolic analysis of cryptographic protocols

G. Bastien et John Mullins

Communication écrite (2005)

Ce document n'est pas archivé dans PolyPublie
Renseignements supplémentaires: Nom historique du département: Département de génie informatique
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/24419/
Nom de la conférence: 5e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2005)
Lieu de la conférence: Gatineau, Qc, Canada
Date(s) de la conférence: 2005-08-30 - 2005-09-01
Date du dépôt: 18 avr. 2023 15:18
Dernière modification: 18 avr. 2023 15:18
Citer en APA 7: Bastien, G., & Mullins, J. (août 2005). ASPIC : A tool for symbolic analysis of cryptographic protocols [Communication écrite]. 5e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2005), Gatineau, Qc, Canada.

Statistiques

Aucune statistique n'est disponible.

Actions réservées au personnel

Afficher document Afficher document