Proving properties of security protocols by induction (1997)

by Lawrence C Paulson
Venue:In 10th IEEE Computer Security Foundations Workshop