Models and Proofs of Protocol Security: A Progress Report (2009)

by Martín Abadi, Bruno Blanchet, Hubert Comon-Lundh