Models and Proofs of Protocol Security: A Progress Report.

Martn Abadi, Bruno Blanchet, Hubert Comon-Lundh

Browse the full CAV paper archive.