共 32 条
[1]
ABADI M, 2000, LNCS
[2]
[Anonymous], 1998, RFC2409
[3]
BACKDES M, ISC 2003, P84
[4]
BACKES M, 2003, 2003240
[5]
BACKES M, 2003, 10 ACM CCS
[6]
BACKES M, 2004, 1 TCC
[7]
BARAK B, NOTE SECURE PROTOCOL
[8]
BELLARE M, 1998, 30 S THEOR COMP STOC
[9]
Canetti R, 2002, LECT NOTES COMPUT SC, V2332, P337
[10]
Canetti R., 2003, CRYPTO 03