John C. Mitchell, Mark Mitchell, Ulrich Stern. Automated analysis of cryptographic protocols using Mur-phi. In 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA. pages 141-151, IEEE Computer Society, 1997. [doi]
Abstract is missing.