<  Back to the Polytechnique Montréal portal

A generic enemy process for the analysis of cryptographic protocols

S. Lafrance and John Mullins

Paper (2002)

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/26515/
Conference Title: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Conference Location: Lund, Suède
Conference Date(s): 2002-01-01 - 2002-12-31
Date Deposited: 18 Apr 2023 15:20
Last Modified: 05 Apr 2024 11:13
Cite in APA 7: Lafrance, S., & Mullins, J. (2002, January). A generic enemy process for the analysis of cryptographic protocols [Paper]. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Lund, Suède.

Statistics

Stats are not available on this system.

Repository Staff Only

View Item View Item