Qingfeng Chen Chengqi Zhang Shichao Zhang Secure Transaction Protocol Analysis: Models and Applications 5111 2008 978-3-540-85073-1 http://dx.doi.org/10.1007/978-3-540-85074-8 Lecture Notes in Computer Science Springer