共 5 条
[1]
BOYD C, 2003, PROTOCOLS AUTHENTICA
[2]
CREESE S, 2003, FORMAL ASPECTS SECUR
[3]
CREESE S, 2003, 1 INT C SEC PERV COM, V2802
[4]
DOLEV D, 1983, IEEE T ACTIONS THEOR, V29
[5]
Ryan P.Y. A., 2001, MODELLING ANAL SECUR