Automated analysis of cryptographic protocols using Mur-phi.

John C. Mitchell, Mark Mitchell, Ulrich Stern

Browse the full SP paper archive.