Original language | English |
---|---|
Pages (from-to) | 229-267 |
Journal | Synthese |
Volume | 142 |
Issue number | 2 |
DOIs | |
Publication status | Published - 2004 |
Update semantics of security protocols
A. Hommersom, J.-J.Ch. Meyer, E.P. Vink, de
Research output: Contribution to journal › Article › Academic › peer-review
7
Citations
(Scopus)