一种安全协议的组合分析模型研究
谢鸿波;吴远成;刘一静;周明天
A Study on the Combined Analysis Model of Security Protocols
XIE Hong-bo;WU Yuan-cheng;LIU Yi-jing;ZHOU Ming-tian
电子学报 . 2008, (11): 2262 -2267 .