Author Login Editor-in-Chief Peer Review Editor Work Office Work
Verification Tool for Security Protocol Based on GSPM
ZHUANG Qing; CAI Xiao-juan; DONG Xiao-ju; QI Zheng-wei
Computer Engineering . 2008, (17): 130 -132 .  DOI: 10.3969/j.issn.1000-3428.2008.17.046