Formal Verification of 5G-EAP-TLS Authentication Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jingjing Zhang' in GoogleThis author has not been identified. Look up 'Qiang Wang' in GoogleThis author has not been identified. Look up 'Lin Yang' in GoogleThis author has not been identified. Look up 'Tao Feng' in Google

runs on WebDSL