Secure Transaction Protocol Analysis Models and Applications - Chen, Qingfeng; Zhang, Chengqi; Zhang, Shichao (Springer Berlin Heidelberg, 2008)