共 25 条
[2]
[Anonymous], 2014, P 2014 IEEE PES TD C
[3]
Automated Validation of Internet Security Protocols and Applications (AVISPA), AUT VAL INT SEC PROT
[4]
Cairns K, 2013, INT CONF SMART GRID, P492, DOI 10.1109/SmartGridComm.2013.6688006
[6]
Secure Authentication for Structured Smart Grid System
[J].
2015 9TH INTERNATIONAL CONFERENCE ON INNOVATIVE MOBILE AND INTERNET SERVICES IN UBIQUITOUS COMPUTING IMIS 2015,
2015,
:200-204
[7]
Dolev D., 1981, 22nd Annual Symposium on Foundations of Computer Science, P350, DOI 10.1109/SFCS.1981.32