Update semantics of security protocols

Research output: Contribution to journal › Article › Academic › peer-review

7 Citations (Scopus)

Access to Document

@article{a63881b4a1a74c6e8c6edf872c8649e7,

title = "Update semantics of security protocols",

author = "A. Hommersom and J.-J.Ch. Meyer and \{Vink, de\}, E.P.",

year = "2004",

doi = "10.1007/s11229-004-2247-0",

language = "English",

volume = "142",

pages = "229--267",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer",

number = "2",

}