Author Login Editor-in-Chief Peer Review Editor Work Office Work
Formal Analysis Method of Security Protocol
WANG Xin; YUAN Chao-wei
Computer Engineering . 2010, (7): 82 -83,8 .  DOI: 10.3969/j.issn.1000-3428.2010.07.029