{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:34:52Z","timestamp":1767339292568,"version":"3.37.3"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T00:00:00Z","timestamp":1704844800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T00:00:00Z","timestamp":1704844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62001055"],"award-info":[{"award-number":["62001055"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61872386"],"award-info":[{"award-number":["61872386"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Beijing University of Posts and Telecommunications-China Mobile Research Institute Joint Innovation Center","award":["0000-0001-6937-4068"],"award-info":[{"award-number":["0000-0001-6937-4068"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2024,2]]},"DOI":"10.1007\/s00500-023-09486-x","type":"journal-article","created":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T13:02:19Z","timestamp":1704891739000},"page":"1865-1881","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A formal security analysis of the fast authentication procedure based on the security context in 5G networks"],"prefix":"10.1007","volume":"28","author":[{"given":"Zhiwei","family":"Cui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6937-4068","authenticated-orcid":false,"given":"Baojiang","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haitao","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junsong","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,10]]},"reference":[{"key":"9486_CR1","unstructured":"3GPP (2018) Study on authentication enhancements in 5g system (5gs). 3gpp tr 33.846. https:\/\/www.3gpp.org\/dynareport\/33846.htm"},{"key":"9486_CR2","unstructured":"3GPP (2022a) 3gpp system architecture evolution (sae); security architecture. 3gpp ts 33.401. https:\/\/www.3gpp.org\/dynareport\/33401.htm"},{"key":"9486_CR3","unstructured":"3GPP (2022b) Characteristics of the universal subscriber identity module (usim) application. https:\/\/www.3gpp.org\/dynareport\/31102.htm"},{"key":"9486_CR4","unstructured":"3GPP (2022c) Non-access-stratum (nas) protocol for 5g system (5gs). 3gpp ts 24.501. https:\/\/www.3gpp.org\/dynareport\/24501.htm"},{"key":"9486_CR5","unstructured":"3GPP (2022d) Non-access-stratum (nas) protocol for evolved packet system (eps). 3gpp ts 24.301. https:\/\/www.3gpp.org\/dynareport\/24301.htm"},{"key":"9486_CR6","unstructured":"3GPP (2022e) Security architecture and procedures for 5g system. 3gpp ts 33.501. https:\/\/www.3gpp.org\/dynareport\/33501.htm"},{"key":"9486_CR7","doi-asserted-by":"crossref","unstructured":"Basin D, Dreier J, Hirschi L et\u00a0al (2018) A formal analysis of 5g authentication. In: Proceedings of the 2018 ACM SIGSAC conference on computer and communications security. Association for Computing Machinery, New York, NY, USA, pp 1383\u20131396","DOI":"10.1145\/3243734.3243846"},{"key":"9486_CR8","doi-asserted-by":"crossref","unstructured":"Beurdouche B, Bhargavan K, Delignat-Lavaud A et\u00a0al (2015) A messy state of the union: taming the composite state machines of tls. In: 2015 IEEE symposium on security and privacy, pp 535\u2013552","DOI":"10.1109\/SP.2015.39"},{"key":"9486_CR9","unstructured":"Blanchet B, Smyth B, Cheval V et\u00a0al (2018) Proverif 2.04: automatic cryptographic protocol verifier, user manual and tutorial. https:\/\/bblanche.gitlabpages.inria.fr\/proverif\/manual.pdf"},{"key":"9486_CR10","doi-asserted-by":"crossref","unstructured":"Borgaonkar R, Hirschi L, Park S et\u00a0al (2019) New privacy threat on 3g, 4g, and upcoming 5g aka protocols. In: Proceedings on privacy enhancing technologies, pp 108\u2013127","DOI":"10.2478\/popets-2019-0039"},{"key":"9486_CR11","unstructured":"Chen Y, Tang D, Yao Y et\u00a0al (2023) Sherlock on specs: building lte conformance tests through automated reasoning. In: USENIX security symposium"},{"key":"9486_CR12","doi-asserted-by":"crossref","unstructured":"Chitroub S, Zidouni N, Aouadia H et\u00a0al (2018) Sim card of the next-generation wireless networks: security, potential vulnerabilities and solutions. In: 2018 2nd European conference on electrical engineering and computer science, pp 502\u2013509","DOI":"10.1109\/EECS.2018.00098"},{"key":"9486_CR13","doi-asserted-by":"crossref","unstructured":"Cui Z, Cui B, Su L et\u00a0al (2023) Attacks against security context in 5g network. https:\/\/arxiv.org\/abs\/2303.10955","DOI":"10.1007\/978-981-99-4430-9_1"},{"key":"9486_CR14","unstructured":"Free5GC (2022) what is free5gc. https:\/\/www.free5gc.org\/"},{"key":"9486_CR15","unstructured":"GSMA (2022) Global mobile trends 2023: navigating an uncertain world. https:\/\/data.gsmaintelligence.com\/research\/research\/research-2023\/global-mobile-trends-2023"},{"key":"9486_CR16","unstructured":"GSMA (2023) Gsma mobile security research acknowledgments. https:\/\/www.gsma.com\/security\/gsma-mobile-security-research-acknowledgements\/"},{"key":"9486_CR17","doi-asserted-by":"crossref","unstructured":"Hong B, Bae S, Kim Y (2018) Guti reallocation demystified: Cellular location tracking with changing temporary identifier. In: Network and distributed system security symposium","DOI":"10.14722\/ndss.2018.23349"},{"key":"9486_CR18","doi-asserted-by":"crossref","unstructured":"Hussain S, Chowdhury O, Mehnaz S et\u00a0al (2018) Lteinspector: a systematic approach for adversarial testing of 4g lte. In: Network and distributed system security symposium","DOI":"10.14722\/ndss.2018.23313"},{"key":"9486_CR19","unstructured":"Ismael GM, Andres GS, Sutton PD, et\u00a0al (2016) Srslte: an open-source platform for lte evolution and experimentation. In: Proceedings of the tenth ACM international workshop on wireless network testbeds, experimental evaluation, and characterization. Association for Computing Machinery, New York, NY, USA, pp 25\u201332"},{"key":"9486_CR20","doi-asserted-by":"crossref","unstructured":"Liu J, Yu Y, Standaert F et al (2015) Small tweaks do not help: differential power analysis of milenage implementations in 3g\/4g usim cards. Computer security\u2014ESORICS 2015. Springer, Cham, pp 468\u2013480","DOI":"10.1007\/978-3-319-24174-6_24"},{"key":"9486_CR21","doi-asserted-by":"crossref","unstructured":"Lowe G (1997) A hierarchy of authentication specifications. In: Proceedings 10th computer security foundations workshop, pp 31\u201343","DOI":"10.1109\/CSFW.1997.596782"},{"key":"9486_CR22","doi-asserted-by":"crossref","unstructured":"Meyer U, Wetzel S (2004) A man-in-the-middle attack on umts. In: Proceedings of the 3rd ACM workshop on wireless security, pp 90\u201397","DOI":"10.1145\/1023646.1023662"},{"key":"9486_CR23","doi-asserted-by":"crossref","unstructured":"Nie S, Zhang Y, Wan T et\u00a0al (2022) Measuring the deployment of 5g security enhancement. In: Proceedings of the 15th ACM conference on security and privacy in wireless and mobile networks. Association for Computing Machinery, New York, NY, USA, pp 169\u2013174","DOI":"10.1145\/3507657.3528559"},{"key":"9486_CR24","unstructured":"Open5GS (2022) Open5gs. https:\/\/open5gs.org\/"},{"key":"9486_CR25","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1016\/j.future.2019.03.007","volume":"97","author":"A Qamar","year":"2019","unstructured":"Qamar A, Karim A, Chang V (2019) Mobile malware attacks: review, taxonomy & future directions. Future Gener Comput Syst 97:887\u2013909","journal-title":"Future Gener Comput Syst"},{"key":"9486_CR26","unstructured":"research E (2022) Usrp b210. https:\/\/www.ettus.com\/all-products\/ub210-kit\/"},{"key":"9486_CR27","doi-asserted-by":"crossref","unstructured":"Rupprecht D, Kohls K, Holz T et\u00a0al (2019) Breaking lte on layer two. In: 2019 IEEE symposium on security and privacy, pp 1121\u20131136","DOI":"10.1109\/SP.2019.00006"},{"key":"9486_CR28","doi-asserted-by":"crossref","unstructured":"Rupprecht D, Kohls K, Holz T et\u00a0al (2020) Imp4gt: impersonation attacks in 4g networks. In: Network and distributed system security symposium","DOI":"10.14722\/ndss.2020.24283"},{"key":"9486_CR29","unstructured":"Security A (2022) new simjacker vulnerability exploited by surveillance companies for espionage operation. https:\/\/simjacker.com\/"},{"key":"9486_CR30","doi-asserted-by":"crossref","unstructured":"Shaik A, Seifert J, Borgaonkar R et\u00a0al (2016) Practical attacks against privacy and availability in 4g\/lte mobile communication systems. In: Network and distributed system security symposium","DOI":"10.14722\/ndss.2016.23236"},{"key":"9486_CR31","doi-asserted-by":"crossref","unstructured":"Shaik A, Borgaonkar R, Park S et\u00a0al (2019) New vulnerabilities in 4g and 5g cellular access network protocols: exposing device capabilities. In: Proceedings of the 12th conference on security and privacy in wireless and mobile networks. Association for Computing Machinery, New York, NY, USA, pp 221\u2013231","DOI":"10.1145\/3317549.3319728"},{"key":"9486_CR32","unstructured":"Srlabs (2022) Simtester. https:\/\/github.com\/srlabs\/SIMtester"},{"key":"9486_CR33","unstructured":"Sysmocom (2022) sysmocom usim cards. https:\/\/sysmocom.de\/manuals\/sysmousim-manual.pdf"},{"key":"9486_CR34","doi-asserted-by":"crossref","unstructured":"Tu G, Li C, Peng C et\u00a0al (2016) New security threats caused by ims-based sms service in 4g lte networks. In: Proceedings of the 2016 ACM SIGSAC conference on computer and communications security. Association for Computing Machinery, New York, NY, USA, pp 1118\u20131130","DOI":"10.1145\/2976749.2978393"},{"key":"9486_CR35","unstructured":"Unisoc (2023) Product security acknowledgements. https:\/\/www.unisoc.com\/en_us\/secy\/thank"},{"key":"9486_CR36","unstructured":"Wang Y, Zhang Z, Xie Y (2021) Privacy-preserving and standard-compatible aka protocol for 5g. In: USENIX security symposium, pp 3595\u20133612"},{"key":"9486_CR37","first-page":"1","volume":"2019","author":"C Yu","year":"2019","unstructured":"Yu C, Chen S, Cai Z (2019) Lte phone number catcher: a practical attack against mobile privacy. Secur Commun Netw 2019:1\u201310","journal-title":"Secur Commun Netw"},{"key":"9486_CR38","doi-asserted-by":"crossref","unstructured":"Zhang Y, Liu B, Lu C et\u00a0al (2020) Lies in the air: characterizing fake-base-station spam ecosystem in china. In: Proceedings of the 2020 ACM SIGSAC conference on computer and communications security. Association for Computing Machinery, New York, NY, USA, pp 521\u2013534","DOI":"10.1145\/3372297.3417257"},{"key":"9486_CR39","doi-asserted-by":"crossref","unstructured":"Zhao J, Ding B, Guo Y et\u00a0al (2021) Securesim: rethinking authentication and access control for sim\/esim. In: Proceedings of the 27th annual international conference on mobile computing and networking. Association for Computing Machinery, New York, NY, USA, pp 451\u2013464","DOI":"10.1145\/3447993.3483254"},{"key":"9486_CR40","doi-asserted-by":"crossref","unstructured":"Zheng Y, Huang L, Shan H et\u00a0al (2017) Ghost telephonist impersonates you: vulnerability in 4g lte cs fallback. In: 2017 IEEE conference on communications and network security, pp 1\u20139","DOI":"10.1109\/CNS.2017.8228629"},{"key":"9486_CR41","doi-asserted-by":"crossref","unstructured":"Zhou Z, Han X, Chen Z, et\u00a0al (2022) Simulation: demystifying (insecure) cellular network based one-tap authentication services. In: 2022 52nd annual IEEE\/IFIP international conference on dependable systems and networks, pp 534\u2013546","DOI":"10.1109\/DSN53405.2022.00059"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-09486-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-023-09486-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-023-09486-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T05:25:20Z","timestamp":1706765120000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-023-09486-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,10]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["9486"],"URL":"https:\/\/doi.org\/10.1007\/s00500-023-09486-x","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2024,1,10]]},"assertion":[{"value":"16 November 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 January 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}