Security Protocol Verification: Symbolic and Computational Models. (2012)

by Bruno Blanchet
Venue:In First Conference on Principles of Security and Trust (POST'12)