<  Back to the Polytechnique Montréal portal

Bisimulation-Based Non-Deterministic Admissible Interference and Its Application to the Analysis of Cryptographic Protocols

John Mullins and Stéphane Lafrance

Article (2003)

An external link is available for this item
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/25628/
Journal Title: Information and Software Technology (vol. 45, no. 11)
Publisher: Elsevier
DOI: 10.1016/s0950-5849(03)00072-7
Official URL: https://doi.org/10.1016/s0950-5849%2803%2900072-7
Date Deposited: 18 Apr 2023 15:20
Last Modified: 05 Apr 2024 11:12
Cite in APA 7: Mullins, J., & Lafrance, S. (2003). Bisimulation-Based Non-Deterministic Admissible Interference and Its Application to the Analysis of Cryptographic Protocols. Information and Software Technology, 45(11), 779-790. https://doi.org/10.1016/s0950-5849%2803%2900072-7

Statistics

Dimensions

Repository Staff Only

View Item View Item