Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol-Reference-Cited by-同舟云学术

Formal Analysis and Verification of Embedded SIM Session Key Agreement Protocol

Published:2021-10-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2021 5th International Conference on Electronic Information Technology and Computer Engineering
language:
Short-container-title:

Author:

Ding Zhonglin¹,Hu Yang¹,Luo Wei¹,Huang Zhongming¹,Xue Jintao²,Qin Zhongyuan²

Affiliation:

1. NARI Group Corporation (State Grid Electric Power Research Institute), Nanjing, China

2. School of Cyber Science and Engineering, Southeast University, Nanjing, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3501409.3501568

Reference12 articles.

1. Cao J. , Ma M. , Li H. , A Survey on Security Aspects for 3GPP 5G Networks. IEEE Communications Surveys & Tutorials. 202 0. 22(1): 170 -- 195 . Cao J., Ma M., Li H., et al. A Survey on Security Aspects for 3GPP 5G Networks. IEEE Communications Surveys & Tutorials. 2020. 22(1): 170--195.

2. GSMA. Embedded SIM Remote Provisioning Architecture Version 4.1 05 June 2020.. GSMA. Embedded SIM Remote Provisioning Architecture Version 4.1 05 June 2020..

3. Qiu J. , Kang J. , Yan B. Research on the security analysis and implementation of eSIM. China Internet . 2016 .. Qiu J., Kang J., Yan B. Research on the security analysis and implementation of eSIM. China Internet. 2016..

4. Luo XZ. Research on the development of over-the-air writing technology and security of eSIM card [J]. Digital Communication World. 201 9. (08): 37 -- 60 . Luo XZ. Research on the development of over-the-air writing technology and security of eSIM card [J]. Digital Communication World. 2019. (08): 37--60.

5. Dan L. , Wu H. Ananlysis of Embedded SIM Remote Provisioning Technologies and Security Problems. Telecommunications Network Technology . 2016 .. Dan L., Wu H. Ananlysis of Embedded SIM Remote Provisioning Technologies and Security Problems. Telecommunications Network Technology. 2016..