Security Protocol Verification: Symbolic and Computational Models (2012)

by Bruno Blanchet
Venue:In POST’12: 1st Conference on Principles of Security and Trust, volume 7215 of LNCS