"Computer-Assisted Verification of a Protocol for Certified Email."

Martín Abadi, Bruno Blanchet (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics