%0 Book
%T Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
%A Blanchet, Bruno
%A ,
%D 2016