共 36 条
[1]
Password-based authenticated key exchange in the three-party setting
[J].
IEE Proceedings: Information Security,
2006, 153 (01)
:27-39
[6]
AVISPA Team, 2006, AVISPA v1.1 User Manual.
[10]
BURROWS M, 1990, ACM T COMPUT SYST, V8, P18, DOI [10.1145/77648.77649, 10.1145/74851.74852]