Automated Verification of Selected Equivalences for Security Protocols. (2005)

by B Blanchet, M Abadi, C Fournet
Venue:In 20th Symposium on Logic in Computer Science,