author : Shiu-Kai Chin

Short works

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