Proving properties of security protocols by induction (1997)

by L Paulson
Venue:in: 10th IEEE Computer Security Foundations Workshop