Automated analysis of cryptographic protocols using Murϕ, in (1997)

by J Mitchell, M Mitchell, U Stern
Venue:Proc. IEEE Symp. Security and Privacy