Automated analysis of cryptographic protocols using murφ. In: (1997)

by M Mitchell, J C Mitchell, U Stern
Venue:Proc. of the 1997 IEEE Symposium on Security and Privacy,