Modelling and verifying key exchange protocols using CSP and FDR (1995)

by A W Roscoe
Venue:In Proceedings of the IEEE Computer Security Foundations Workshop