Proving Properties of Security Protocols by Induction (1997)

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