基于博弈的电子商务协议分析
文静华,张梅,李祥
Formal analysis of e-commerce protocols based on game
Jing-hua WEN,Mei ZHANG,Xiang LI
通信学报 . 2006, (3): 73 -78 .  DOI: 1000-436X(2006)03-0073-06