Models and Proofs of Protocol Security: A Progress Report

Bruno Blanchet
Hubert Comon-Lundh
CAV (2009), pp. 35-49

Abstract