基于ProVerif的电子商务协议分析
郭云川,丁丽,周渊,郭莉
Analysis for e-commerce protocols based on ProVerif
Yun-chuan GUO,Li DING,Yuan ZHOU,Li GUO
通信学报 . 2009, (3): 125 -129 .  DOI: 1000-436X(2009)03-0125-05