共 39 条
- [1] Abdalla M, 2005, LECT NOTES COMPUT SC, V3386, P65
- [2] [Anonymous], 2016, Int. J. Netw. Secur., V18, P769
- [3] [Anonymous], 2021, TS 23. 501
- [4] Armando A, 2005, LECT NOTES COMPUT SC, V3576, P281
- [5] Bellare M, 2000, LECT NOTES COMPUT SC, V1807, P139
- [6] ESSMAR: Edge Supportive Secure Mobile Augmented Reality Architecture for Healthcare [J]. PROCEEDINGS OF 2020 5TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND ARTIFICIAL INTELLIGENCE: TECHNOLOGIES AND APPLICATIONS (CLOUDTECH'20), 2020, : 47 - 53
- [8] Cremers C.J.F., 2006, Scyther: Semantics and Verification of Security Protocols
- [10] ON THE SECURITY OF PUBLIC KEY PROTOCOLS [J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 1983, 29 (02) : 198 - 208