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

Dan Zhou, Shiu-Kai Chin

Browse the full FM paper archive.