Shichao Zhang

Secure Transaction Protocol Analysis: Models and Applications

Qingfeng Chen, Chengqi Zhang, Shichao Zhang