Mechanized Proofs for a Recursive Authentication Protocol (1997)

by Lawrence C. Paulson
Venue:In 10th IEEE Computer Security Foundations Workshop
Citations:62 - 3 self