Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Semantics for a Simple Logic for Authentication Protocol Design
MIAO Xianghua, HE Dake
Computer Engineering . 2006, (9): 31 -32,35 .  DOI: 10.3969/j.issn.1000-3428.2006.09.011