Modelling of Cryptographic Protocols (1997)

by Pekka Nikander