Secure transaction protocol analysis : models and applications - Chen, Qingfeng (Lecture notes in computer science ;, 2008)