Zhiwei Cui, Baojiang Cui, Li Su, Haitao Du, Jie Xu 0038, Junsong Fu. A formal security analysis of the fast authentication procedure based on the security context in 5G networks. Soft Comput., 28(3):1865-1881, February 2024. [doi]
Abstract is missing.