共 17 条
[1]
ABADI M, 1994, 125 DIG EQ CORP SYST
[2]
[Anonymous], 1999, 2560 IETF RFC
[3]
A LOGIC OF AUTHENTICATION
[J].
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES,
1989, 426 (1871)
:233-271
[4]
CANETTI R, 2002, LECT NOTES COMPUTER, V2609, P338
[5]
CRIPSO B, 2001, P 6 IEEE S COMP COMM
[6]
CRISPO B, 2001, P ICICS 2001 3 INT C
[7]
GONG L, 1994, SRICSL9414 INT COMP
[8]
KAIN K, 2002, 6 IFIP C COMM MULT S
[9]
Lowe G, 1996, SOFTWARE-CONC TOOL, V17, P93