Verifying authentication protocols with CSP (1997)

by S Schneider
Venue:Computer Security Foundations Workshop, IEEE