Mechanized proofs for a recursive authentication protocol (1997)

by L C Paulson
Venue:In Proc. of Computer Security Foundations Workshop, IEEE