Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Formal Analysis and Verification for Authentication Process of WAPI
LI Xiehua; LI Jianhua; YANG Shutang; ZHU Hongwen
Computer Engineering . 2006, (22): 10 -13 .  DOI: 10.3969/j.issn.1000-3428.2006.22.004