共 50 条
[1]
Design and hardware implementation of a security-enhanced elliptic curve cryptography based lightweight authentication scheme for smart grid communications
[J].
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE,
2018, 84
:47-57
[2]
Abdalla M, 2005, LECT NOTES COMPUT SC, V3386, P65
[3]
Abdallah AR, 2014, IEEE GLOB COMM CONF, P668, DOI 10.1109/GLOCOM.2014.7036884
[6]
SATMC: A SAT-based model checker for security protocols
[J].
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS,
2004, 3229
:730-733
[7]
Lightweight Authenticated Key Agreement for Smart Metering in Smart Grid
[J].
IEEE SYSTEMS JOURNAL,
2022, 16 (03)
:4983-4991
[8]
Boichut Y., 2004, PROC INT WORKSHOP AU, P1
[10]
BURROWS M, 1990, ACM T COMPUT SYST, V8, P18, DOI [10.1145/77648.77649, 10.1145/74851.74852]