Proving properties of security protocols by induction (1997)

by Lawrence C Paulson
Venue:In Proc. CSFW’97. IEEE Computer