Proving properties of security protocols by induction,” (1997)

by L C Paulson
Venue:in Proceedings of the 10th IEEE Computer Security Foundations Workshop,