共 37 条
- [1] Allamigeon X., 2010, ProVerif: Cryptographic Protocol Verifier in the Formal Model
- [2] Boyd C., 1994, Advances in Cryptology - EUROCRYPT '93. Workshop on the Theory and Application of Cryptographic Techniques Proceedings, P240
- [6] Che W., 2017, CRYPTOGR, V1, P3, DOI DOI 10.3390/CRYPTOGRAPHY1010003
- [7] Efficient Batch Authentication Scheme Based on Edge Computing in IIoT [J]. IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2023, 20 (01): : 357 - 368
- [8] Biometrics-Based Privacy-Preserving User Authentication Scheme for Cloud-Based Industrial Internet of Things Deployment [J]. IEEE INTERNET OF THINGS JOURNAL, 2018, 5 (06): : 4900 - 4913