home
>
book reviews
> Shiu-Kai Chin
Google >
Shiu-Kai Chin
author : Shiu-Kai Chin
Short works
Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol. 1999.
(In
FM'99 volume 1
)