Proving properties of security protocols by induction (1997)

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