Update semantics of security protocols

2004

Arjen Hommersom, John-Jules Meyer, Erik De Vink

Synthese 142 (2)