<  Back to the Polytechnique Montréal portal

Formal Development of Authentication Protocols

Pierre Bieber and Nora Boulahia Cuppens

Paper (1994)

Document published while its authors were not affiliated with Polytechnique Montréal

An external link is available for this item
PolyPublie URL: https://publications.polymtl.ca/46310/
Conference Title: 6th Refinement Workshop
Conference Location: London, UK
Conference Date(s): 1994-01-05 - 1994-01-07
Publisher: Springer
DOI: 10.1007/978-1-4471-3240-0_5
Official URL: https://doi.org/10.1007/978-1-4471-3240-0_5
Date Deposited: 18 Apr 2023 15:25
Last Modified: 05 Apr 2024 11:46
Cite in APA 7: Bieber, P., & Boulahia Cuppens, N. (1994, January). Formal Development of Authentication Protocols [Paper]. 6th Refinement Workshop, London, UK. https://doi.org/10.1007/978-1-4471-3240-0_5

Statistics

Dimensions

Repository Staff Only

View Item View Item