Verifying authentication protocols with CSP (1997)

by S Schneider
Venue:Proceedings of the 10th IEEE Computer Security Foundations Workshop