A syntactic criterion for injectivity of authentication protocols

C.J.F. Cremers, S. Mauw, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05)
EditorsP. Degano, L. Vigano
Publication statusPublished - 2005

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061

Cite this