共 39 条
- [2] Password-based authenticated key exchange in the three-party setting [J]. IEE Proceedings: Information Security, 2006, 153 (01): : 27 - 39
- [4] Barker E., 2006, NAT I STANDARDS TECH
- [6] Canetti R, 2002, LECT NOTES COMPUT SC, V2332, P337
- [8] Taxonomy and analysis of security protocols for Internet of Things [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 89 : 110 - 125
- [9] Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench [J]. NASA FORMAL METHODS (NFM 2021), 2021, 12673 : 72 - 78
- [10] ON THE SECURITY OF PUBLIC KEY PROTOCOLS [J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 1983, 29 (02) : 198 - 208