Using running modes for cryptographic protocol analysis: a case study
Chun-ling WANG,Zhi-jian TANG,Yu-qing ZHANG,Ji-wen XUE
Journal on Communications . 2005, (1A): 129 -132 .  DOI: 1000-436X(2005)01A-0129-04