Update semantics of security protocols

A. Hommersom, J.-J.Ch. Meyer, E.P. Vink, de

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
Original languageEnglish
Pages (from-to)229-267
JournalSynthese
Volume142
Issue number2
DOIs
Publication statusPublished - 2004

Cite this