<  Back to the Polytechnique Montréal portal

ASPIC : A tool for symbolic analysis of cryptographic protocols

G. Bastien and John Mullins

Paper (2005)

This item is not archived in PolyPublie
Additional Information: Nom historique du département: Département de génie informatique
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/24419/
Conference Title: 5e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2005)
Conference Location: Gatineau, Qc, Canada
Conference Date(s): 2005-08-30 - 2005-09-01
Date Deposited: 18 Apr 2023 15:18
Last Modified: 05 Apr 2024 11:10
Cite in APA 7: Bastien, G., & Mullins, J. (2005, August). ASPIC : A tool for symbolic analysis of cryptographic protocols [Paper]. 5e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2005), Gatineau, Qc, Canada.

Statistics

Stats are not available on this system.

Repository Staff Only

View Item View Item