Jingjing Zhang, Qiang Wang, Lin Yang, Tao Feng. Formal Verification of 5G-EAP-TLS Authentication Protocol. In Fourth IEEE International Conference on Data Science in Cyberspace, DSC 2019, Hangzhou, China, June 23-25, 2019. pages 503-509, IEEE, 2019. [doi]
Abstract is missing.