A syntactic criterion for injectivity of authentication protocols

2005

Presented at the Workshop on Automated Reasoning for Security Protocol Analysis, Lisbon, Portugal

Additional Metadata
Publisher	Elsevier
Journal	Electronic Notes in Theoretical Computer Science
Conference	Workshop on Automated Reasoning for Security Protocol Analysis
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Mauw, S., Cremers, C.& de Vink, E. (2005). A syntactic criterion for injectivity of authentication protocols. Electronic Notes in Theoretical Computer Science, 135(1), 23–38.

Additional Files
Publisher Version

Publication