Automated analysis of cryptographic protocols using mur-phi (1997)

by John C Mitchell, Mark Mitchell, Ulrich Stern
Venue:In IEEE Symposium on Security and Privacy