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]
@inproceedings{ZhangWYF19,
title = {Formal Verification of 5G-EAP-TLS Authentication Protocol},
author = {Jingjing Zhang and Qiang Wang and Lin Yang and Tao Feng},
year = {2019},
doi = {10.1109/DSC.2019.00082},
url = {https://doi.org/10.1109/DSC.2019.00082},
researchr = {https://researchr.org/publication/ZhangWYF19},
cites = {0},
citedby = {0},
pages = {503-509},
booktitle = {Fourth IEEE International Conference on Data Science in Cyberspace, DSC 2019, Hangzhou, China, June 23-25, 2019},
publisher = {IEEE},
isbn = {978-1-7281-4528-0},
}