Formal Analysis and Verification for Three-Party Authentication Protocol of RFID. - Jia Chen; Meihua Xiao; Ke Yang 007; Wei Li 093; Xiaomei Zhong (NCTCS, 2018)

Security Proof of KerNeeS Protocol Based on Logic of Events. - Ke Yang 007; Meihua Xiao; Jia Chen (NCTCS, 2018)

Proving Mutual Authentication Property of KerNeeS Protocol Based on Logic of Events. - Ke Yang 007; Meihua Xiao; Jiawen Song; Jia Chen; Xiaomei Zhong; Xizhong Wang (IEEE Access, 2018)

LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols. - Jiawen Song; Meihua Xiao; Ke Yang 007; Xizhong Wang; Xiaomei Zhong (IEEE Access, 2019)

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

Modeling and Verification of WPA3 Security Protocol Based on SPIN. - Meihua Xiao; Shanshan Qiao; Tao Liu; Ke Yang 007; Zehuan Li; Dongming Zhan (NCTCS, 2023)

A novel formal logic for formal analysis of timeliness in non-repudiation protocols. - Ke Yang 007; Meihua Xiao; Xiaomei Zhong; Yingqiang Zhong (J. King Saud Univ. Comput. Inf. Sci., 2023)