A syntactic criterion for injectivity of authentication protocols

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

doi:10.1016/j.entcs.2005.06.006

A syntactic criterion for injectivity of authentication protocols

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

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05)
Editors	P. Degano, L. Vigano
Pages	23-38
DOIs	https://doi.org/10.1016/j.entcs.2005.06.006
Publication status	Published - 2005

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	135(1)
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2005.06.006

Cite this

Cremers, C. J. F., Mauw, S., & Vink, de, E. P. (2005). A syntactic criterion for injectivity of authentication protocols. In P. Degano, & L. Vigano (Eds.), Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05) (pp. 23-38). (Electronic Notes in Theoretical Computer Science; Vol. 135(1)). https://doi.org/10.1016/j.entcs.2005.06.006

Cremers, C.J.F. ; Mauw, S. ; Vink, de, E.P. / A syntactic criterion for injectivity of authentication protocols. Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05). editor / P. Degano ; L. Vigano. 2005. pp. 23-38 (Electronic Notes in Theoretical Computer Science).

@inproceedings{b2d30a7094634f6c86047ed9df71e785,

title = "A syntactic criterion for injectivity of authentication protocols",

author = "C.J.F. Cremers and S. Mauw and {Vink, de}, E.P.",

year = "2005",

doi = "10.1016/j.entcs.2005.06.006",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "23--38",

editor = "P. Degano and L. Vigano",

booktitle = "Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05)",

}

Cremers, CJF, Mauw, S & Vink, de, EP 2005, A syntactic criterion for injectivity of authentication protocols. in P Degano & L Vigano (eds), Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05). Electronic Notes in Theoretical Computer Science, vol. 135(1), pp. 23-38. https://doi.org/10.1016/j.entcs.2005.06.006

A syntactic criterion for injectivity of authentication protocols. / Cremers, C.J.F.; Mauw, S.; Vink, de, E.P.
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05). ed. / P. Degano; L. Vigano. 2005. p. 23-38 (Electronic Notes in Theoretical Computer Science; Vol. 135(1)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A syntactic criterion for injectivity of authentication protocols

AU - Cremers, C.J.F.

AU - Mauw, S.

AU - Vink, de, E.P.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.entcs.2005.06.006

DO - 10.1016/j.entcs.2005.06.006

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 23

EP - 38

BT - Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05)

A2 - Degano, P.

A2 - Vigano, L.

ER -

Cremers CJF, Mauw S, Vink, de EP. A syntactic criterion for injectivity of authentication protocols. In Degano P, Vigano L, editors, Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05). 2005. p. 23-38. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/j.entcs.2005.06.006