共 34 条
[1]
[Anonymous], 2015, AVISPA: Automated validation of Internet security protocols and applications
[2]
[Anonymous], 2019, The security protocol animator for AVISPA
[3]
Armando A, 2005, LECT NOTES COMPUT SC, V3576, P281
[4]
Bagga P, 2023, Cyber Security and Applications, V1, P100001, DOI [10.1016/j.csa.2022.100001, 10.1016/j.csa.2022.100001, DOI 10.1016/J.CSA.2022.100001]
[5]
An Authenticated Key Agreement Scheme for Secure Communication in Smart Grid
[J].
2021 INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS),
2021,
:447-455
[9]
Dodis Y, 2004, LECT NOTES COMPUT SC, V3027, P523