运行模式法分析密码协议实例研究
王春玲,唐志坚,张玉清,薛纪文
Using running modes for cryptographic protocol analysis: a case study
Chun-ling WANG,Zhi-jian TANG,Yu-qing ZHANG,Ji-wen XUE
通信学报 . 2005, (1A): 129 -132 .  DOI: 1000-436X(2005)01A-0129-04