一种基于CRT的gNB间切换认证方法与密钥协商协议 谢桢

[EB/OL]. (2020-05-26) . http://prosecco. gforge. Р的终端和场景提供安全、可靠、快速、无缝的连接，在鉴权 inria. fr/personal/bblanche/proverif/. Р认证、密钥协商等方面还有待进一步研究。 [16] Blanchet B, Smyth B, Cheval V, et al. ProVerif Manual [EB/OL]. Р http://prosecco. gforge. inria. fr/personal/bblanche/proverif/manual. pdf. Р参考文献： Р [17] Dolev D, Yao C-C. On the security of public key protocols [J]. IEEE Р[1] 3GPP Support Office. System architecture for the 5G system: TS 23. 501 Transactions on Information Theory, 1983, 29 (2): 198-207. Р V17. 0. 0 [S]. 2021.