Update Semantics of Security Protocols

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

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

Keywords

@article{3b06597301f74377bc45cc06889b69d7,

title = "Update Semantics of Security Protocols",

keywords = "Wiskunde en Informatica (WIIN)",

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

year = "2004",

language = "Undefined/Unknown",

volume = "142",

pages = "229--267",

journal = "Synthese",

issn = "0039-7857",

publisher = "Springer Netherlands",

}