A syntactic criterion for injectivity of authentication protocols

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
Originele taal-2Engels
TitelProceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05)
RedacteurenP. Degano, L. Vigano
Pagina's23-38
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume135(1)
ISSN van geprinte versie1571-0061

Citeer dit