[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.