Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL

Tong Zhang, Meihua Xiao, Ri Ouyang. Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL. In Zhiping Cai, Jian Li, Jialin Zhang 0001, editors, Theoretical Computer Science - 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021, Revised Selected Papers. Volume 1494 of Communications in Computer and Information Science, pages 222-233, Springer, 2021. [doi]

Abstract

Abstract is missing.