"Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol."

Dan Zhou, Shiu-Kai Chin (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics