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