Formal analysis of e-commerce protocols based on game
Jing-hua WEN,Mei ZHANG,Xiang LI
Journal on Communications . 2006, (3): 73 -78 .  DOI: 1000-436X(2006)03-0073-06