共 65 条
[1]
Password-based authenticated key exchange in the three-party setting
[J].
IEE Proceedings: Information Security,
2006, 153 (01)
:27-39
[2]
Abdalla M., 2012, IEEE S SEC PRIV S P, P538
[3]
A robust and anonymous patient monitoring system using wireless medical sensor networks
[J].
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE,
2018, 80
:483-495
[4]
[Anonymous], 2017, COMPUTER INFORM SECU, V3
[5]
[Anonymous], INT J COMMUNICATION
[6]
[Anonymous], 2019, HOSSEIN73 PROVERIF
[8]
Bayat M., 2015, INT J ELECT INF ENG, V2, P10
[9]
Blanchet B., 2008, AUTOMATED FORMAL ANA
[10]
Blanchet Bruno., 2005, PROVERIF AUTOMATIC C