共 39 条
- [2] Alanazi R, 2022, INT J ADV COMPUT SC, V13, P484
- [3] RLKS-TMS: A Robust and Lightweight Key Agreement Scheme for Telemedicine System [J]. IEEE ACCESS, 2024, 12 : 108233 - 108247
- [4] Arpitha T., 2024, J. Eng. Appl. Sci., V71, P8
- [7] Blanchet Bruno, 2018, ProVerif 2.00: Automatic cryptographic protocol verifier, user manual and tutorial
- [8] Boyd C., 1994, Advances in Cryptology - EUROCRYPT '93. Workshop on the Theory and Application of Cryptographic Techniques Proceedings, P240
- [10] Chiou S.-F., 2019, Int. J. Netw. Secur., V21, P100