Deriving Security Protocols Based on Protocol Derivation System. - Ke Yang 007; Meihua Xiao; Zifan Song; Ri Ouyang (NCTCS, 2020)

Proving Mutual Authentication Property of 5G-AKA Protocol Based on PCL. - Tong Zhang; Meihua Xiao; Ri Ouyang (NCTCS, 2021)