Update semantics of security protocols
Vol. 142/2
Arjen Hommersom, John-Jules Meyer, Erik De Vink
Volume
Title
Author