一种自动密码协议分析方法
宁小军,黄刘生,周智
Automatic cryptographic protocol analysis
NING Xiao-jun,HUANG Liu-sheng,ZHOU Zhi
计算机应用 . 2005, (09): 2089 -2091 .  DOI: 10.3724/SP.J.1087.2005.02089