Author Login Editor-in-Chief Peer Review Editor Work Office Work
Universally Composable Formal Analysis of Sender Non-repudiation Protocol
YANG Jie
Computer Engineering . 2009, (20): 128 -130 .  DOI: 10.3969/j.issn.1000-3428.2009.20.045