Automatic Verification of Correspondences for Security Protocols. (2009)

by Bruno Blanchet
Venue:Journal of Computer Security,