John C. Mitchell Mark Mitchell Ulrich Stern Automated analysis of cryptographic protocols using Mur-phi. 141-151 1997 conf/sp/1997 IEEE Symposium on Security and Privacy http://doi.ieeecomputersociety.org/10.1109/SECPRI.1997.601329 db/conf/sp/sp1997.html#MitchellMS97