实验室一篇论文被 IEEE Transactions on Networking 录用 [2025.03.26]

Min Shi, Jing Chen, Zhuangzhuang Ma, Kun He, Meng Jia, Ruiying Du. A Formal Analysis of 5G EAP-TLS Protocol. IEEE Transactions on Networking（CCF A类期刊）