Xiao, M.; Cheng, W.; Fan, H.; Shao, H.; Li, Z.; Zhong, Y.
Formal Analysis of EAP-TLS Protocol Based on Logic of Events. Symmetry 2025, 17, 1456.
https://doi.org/10.3390/sym17091456
AMA Style
Xiao M, Cheng W, Fan H, Shao H, Li Z, Zhong Y.
Formal Analysis of EAP-TLS Protocol Based on Logic of Events. Symmetry. 2025; 17(9):1456.
https://doi.org/10.3390/sym17091456
Chicago/Turabian Style
Xiao, Meihua, Weili Cheng, Hongming Fan, Huaibin Shao, Zehuan Li, and Yingqiang Zhong.
2025. "Formal Analysis of EAP-TLS Protocol Based on Logic of Events" Symmetry 17, no. 9: 1456.
https://doi.org/10.3390/sym17091456
APA Style
Xiao, M., Cheng, W., Fan, H., Shao, H., Li, Z., & Zhong, Y.
(2025). Formal Analysis of EAP-TLS Protocol Based on Logic of Events. Symmetry, 17(9), 1456.
https://doi.org/10.3390/sym17091456