Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
Formal Design Method for Non-repudiation Protocols
LIU Jing; FU Fei ; XIAO Jun-mo; LU Yang
Computer Engineering . 2008, (4): 164 -166 .  DOI: 10.3969/j.issn.1000-3428.2008.04.058