共 26 条
[2]
Armando A, 2005, LECT NOTES COMPUT SC, V3576, P281
[3]
A Secure User Authentication Scheme against Smart-Card Loss Attack for Wireless Sensor Networks Using Symmetric Key Techniques
[J].
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS,
2015,
[4]
Cheval V., PROVERIF CRYPTOGRAPH
[5]
Choi Jongseok, 2016, SECURE IOT FRAMEWORK
[6]
Cremers C., 2019, SCYTHER TOOL AUTOMAT
[10]
Jing L., 2012, Distributed Computing Systems Workshops (ICDCSW), 2012 32nd International Conference on, P588, DOI DOI 10.1109/ICDCSW.2012.23