author : Dan Zhou

Papers/Articles

• Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol. 1999. In FM'99 volume 1