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

by A W Roscoe
Venue:MIT Laboratory for Computer Science