作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
TMN密码协议的SMV分析
邢戈,张玉清,冯登国
Using SMV to Analyze the TMN Protocol
XING Ge, ZHANG Yuqing, FENG Dengguo
. 2005, (08): 54 .