Formal Analysis of EAP-TLS Protocol Based on Logic of Events. - Xiao, Meihua; Cheng, Weili; Fan, Hongming; Shao, Huaibin; Li, Zehuan; Zhong, Yingqiang (Symmetry (20738994), 2025)