Secure Transaction Protocol Analysis : Models and Applications - Qingfeng Chen, Chengqi Zhang, Shichao Zhang ((Lecture Notes in Computer Science))