Mechanized proofs for a recursive authentication protocol (1997)

by L C Paulson
Venue:In Proc. of the 10th IEEE Computer Security Foundations Workshop