{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T12:37:35Z","timestamp":1784205455464,"version":"3.55.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031800191","type":"print"},{"value":"9783031800207","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:00:00Z","timestamp":1734220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T00:00:00Z","timestamp":1734220800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-80020-7_6","type":"book-chapter","created":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T07:30:13Z","timestamp":1734161413000},"page":"107-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Countering Subscription Concealed Identifier (SUCI)-Catchers in\u00a0Cellular Communications"],"prefix":"10.1007","author":[{"given":"Julian","family":"Parkin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahesh","family":"Tripunitara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,12,15]]},"reference":[{"key":"6_CR1","unstructured":"3GPP: About 3GPP (2022). https:\/\/www.3gpp.org\/about-us. Accessed 30 May 2023"},{"key":"6_CR2","unstructured":"3rd Generation Partnership Project: Technical Specification Group Core Network and Terminals: Non-access-stratum (NAS) protocol for 5G system (5GS). 3GPP TS 24.501 v17.5.0 (2021)"},{"key":"6_CR3","unstructured":"3rd Generation Partnership Project: Technical Specification Group Core Network and Terminals: Numbering, addressing and identification. 3GPP TS 23.003 v18.1.0 (2023)"},{"key":"6_CR4","unstructured":"3rd Generation Partnership Project: Technical Specification Group Core Network and Terminals: Unified data management services. 3GPP TS 24.501 v18.1.0 (2023)"},{"key":"6_CR5","unstructured":"3rd Generation Partnership Project: Technical Specification Group Services and System Aspects: Security architecture. 3GPP TS 33.102 v16.0.0 (2020)"},{"key":"6_CR6","unstructured":"3rd Generation Partnership Project: Technical Specification Group Services and System Aspects: Study on authentication enhancements in the 5G system (5GS). 3GPP TR 33.846 v17.0.0 (2021)"},{"key":"6_CR7","unstructured":"3rd Generation Partnership Project: Technical Specification Group Services and System Aspects: Security architecture and procedures for 5G system. 3GPP TS 33.501 v17.4.1 (2022)"},{"key":"6_CR8","unstructured":"3rd Generation Partnership Project: Technical Specification Group Services and System Aspects: Study on 5G security enhancement against false base stations (FBS). 3GPP TR 33.809 v0.20.0 (2022)"},{"key":"6_CR9","unstructured":"3rd Generation Partnership Project: Technical Specification Group Services and System Aspects: System architecture for the 5G system (5GS). 3GPP TS 23.501 v18.1.0 (2023)"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Arapinis, M., et al.: New privacy issues in mobile telephony: fix and verification. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, CCS 2012, pp. 205\u2013216. Association for Computing Machinery, New York (2012). https:\/\/doi.org\/10.1145\/2382196.2382221","DOI":"10.1145\/2382196.2382221"},{"key":"6_CR11","unstructured":"Basin, D., Cremers, C., Dreier, J., Meier, S., Sasse, R., Schmidt, B.: Tamarin prover. https:\/\/tamarin-prover.github.io\/. Accessed 28 Mar 2023"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Basin, D., Dreier, J., Hirschi, L., Radomirovic, S., Sasse, R., Stettler, V.: A formal analysis of 5G authentication. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, pp. 1383\u20131396. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3243734.3243846","DOI":"10.1145\/3243734.3243846"},{"issue":"3","key":"6_CR13","doi-asserted-by":"publisher","first-page":"108","DOI":"10.2478\/popets-2019-0039","volume":"2019","author":"R Borgaonkar","year":"2019","unstructured":"Borgaonkar, R., Hirschi, L., Park, S., Shaik, A.: New privacy threat on 3G, 4G, and upcoming 5G AKA protocols. Proceedings on Privacy Enhancing Technologies 2019(3), 108\u2013127 (2019). https:\/\/doi.org\/10.2478\/popets-2019-0039","journal-title":"Proceedings on Privacy Enhancing Technologies"},{"key":"6_CR14","unstructured":"Certicom Research: Sec 1: Elliptic curve cryptography; version 2.0 (2009). http:\/\/www.secg.org\/sec1-v2.pdf"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Chlosta, M., Rupprecht, D., P\u00f6pper, C., Holz, T.: 5G SUCI-catchers: still catching them all? In: Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2021, pp. 359\u2013364. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3448300.3467826","DOI":"10.1145\/3448300.3467826"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Cohn-Gordon, K., Cremers, C., Dowling, B., Garratt, L., Stebila, D.: A formal security analysis of the signal messaging protocol. In: 2017 IEEE European Symposium on Security and Privacy (EuroS &P), pp. 451\u2013466 (2017). https:\/\/doi.org\/10.1109\/EuroSP.2017.27","DOI":"10.1109\/EuroSP.2017.27"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Cohn-Gordon, K., Cremers, C., Garratt, L.: On post-compromise security. In: 2016 IEEE 29th Computer Security Foundations Symposium (CSF), pp. 164\u2013178 (2016). https:\/\/doi.org\/10.1109\/CSF.2016.19","DOI":"10.1109\/CSF.2016.19"},{"key":"6_CR18","unstructured":"Cremers, C., Lukert, P.: K vs KU. Comments on GitHub issue (2021). https:\/\/github.com\/tamarin-prover\/tamarin-prover\/issues\/447. Accessed 25 May 2023"},{"key":"6_CR19","unstructured":"Ericsson: Ericsson mobility report (2022). https:\/\/www.ericsson.com\/4ae28d\/assets\/local\/reports-papers\/mobility-report\/documents\/2022\/ericsson-mobility-report-november-2022.pdf. Accessed 30 May 2023"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-08755-9_9","volume-title":"Operating Systems","author":"JN Gray","year":"1978","unstructured":"Gray, J.N.: Notes on data base operating systems. In: Bayer, R., Graham, R.M., Seegm\u00fcller, G. (eds.) Operating Systems. LNCS, vol. 60, pp. 393\u2013481. Springer, Heidelberg (1978). https:\/\/doi.org\/10.1007\/3-540-08755-9_9"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: Proceedings 10th Computer Security Foundations Workshop, pp. 31\u201343 (1997). https:\/\/doi.org\/10.1109\/CSFW.1997.596782","DOI":"10.1109\/CSFW.1997.596782"},{"key":"6_CR22","unstructured":"Marlinspike, M.: The double ratchet algorithm (2016). https:\/\/www.signal.org\/docs\/specifications\/doubleratchet\/. Accessed 25 May 2023"},{"key":"6_CR23","unstructured":"Meier, S.: Advancing automated security protocol verification. Ph.D. thesis, ETH Zurich (2013)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-39799-8_48","volume-title":"Computer Aided Verification","author":"S Meier","year":"2013","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.: The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, pp. 696\u2013701. Springer, Heidelberg (2013)"},{"key":"6_CR25","doi-asserted-by":"publisher","unstructured":"Park, S., Shaik, A., Borgaonkar, R., Seifert, J.P.: Anatomy of commercial IMSI catchers and detectors. In: Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society, WPES 2019, pp. 74\u201386. Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3338498.3358649","DOI":"10.1145\/3338498.3358649"},{"key":"6_CR26","unstructured":"Parkin, J.: Identity and security in 5G authentication. Master\u2019s thesis, University of Waterloo (2024)"},{"key":"6_CR27","unstructured":"Parkin, J., Tripunitara, M.: Countering SUCI-catchers in cellular communications. https:\/\/github.com\/Julian2n7000\/countering-suci-catchers-model\/"},{"key":"6_CR28","unstructured":"The Tamarin Team: Tamarin prover manual: advanced features (2016). https:\/\/tamarin-prover.com\/manual\/develop\/book\/011_advanced-features.html. Accessed 10 Apr 2023"},{"key":"6_CR29","unstructured":"The Tamarin Team: Tamarin prover manual: introduction (2016). https:\/\/tamarin-prover.github.io\/manual\/book\/001_introduction.html. Accessed 10 Apr 2023"},{"key":"6_CR30","unstructured":"The Tamarin Team: Tamarin prover manual: property specification (2016). https:\/\/tamarin-prover.github.io\/manual\/book\/007_property-specification.html. Accessed 10 Apr 2023"}],"container-title":["Lecture Notes in Computer Science","Information Systems Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80020-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T08:03:41Z","timestamp":1734163421000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80020-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,15]]},"ISBN":["9783031800191","9783031800207"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80020-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,15]]},"assertion":[{"value":"15 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICISS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Systems Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jaipur","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iciss2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iciss.isrdc.in","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}