Verifying authentication protocols with CSP (1997)

by S Schneider
Venue:in Proceedings of loch Computer Securitv Foundations Workshop, IEEE Computer