{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:33:25Z","timestamp":1767339205533},"reference-count":8,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. &amp; Syst."],"published-print":{"date-parts":[[2020,8,1]]},"DOI":"10.1587\/transinf.2019fol0001","type":"journal-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T22:17:03Z","timestamp":1596233823000},"page":"1806-1809","source":"Crossref","is-referenced-by-count":10,"title":["A Vulnerability in 5G Authentication Protocols and Its Countermeasure"],"prefix":"10.1587","volume":"E103.D","author":[{"given":"Xinxin","family":"HU","sequence":"first","affiliation":[{"name":"Information Engineering University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Caixia","family":"LIU","sequence":"additional","affiliation":[{"name":"Information Engineering University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuxin","family":"LIU","sequence":"additional","affiliation":[{"name":"Information Engineering University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinsong","family":"LI","sequence":"additional","affiliation":[{"name":"Information Engineering University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaotao","family":"CHENG","sequence":"additional","affiliation":[{"name":"Information Engineering University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] M. Arapinis, L. Mancini, E. Ritter, M. Ryan, N. Golde, K. Redon, and R. Borgaonkar, \u201cNew privacy issues in mobile telephony: fix and verification,\u201d Proc. 2012 ACM conference on computer and communications security, pp.205-216, North Carolina, USA, 2012. doi: 10.1145\/2382196.2382221. 10.1145\/2382196.2382221","DOI":"10.1145\/2382196.2382221"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] R. Borgaonkar, L. Hirschi, S. Park, and A. Shaik, \u201cNew Privacy Threat on 3G, 4G, and Upcoming 5G AKA Protocols,\u201d Proceedings on Privacy Enhancing Technologies, vol.2019, no.3, pp.108-127, Stockholm, Sweden, 2019. doi: 10.2478\/popets-2019-0039. 10.2478\/popets-2019-0039","DOI":"10.2478\/popets-2019-0039"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] C. Hahn, H. Kwon, D. Kim, K. Kang, and J. Hur, \u201cA privacy threat in 4th generation mobile telephony and its countermeasure,\u201d Proc. International Conference on Wireless Algorithms, Systems, and Applications, vol.8491, pp.624-635, Harbin, China, 2014. doi: 10.1007\/978-3-319-07782-6_56. 10.1007\/978-3-319-07782-6_56","DOI":"10.1007\/978-3-319-07782-6_56"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] X. Hu, C. Liu, S. Liu, W. You, Y. Li, and Y. Zhao, \u201cA Systematic Analysis Method for 5G Non-Access Stratum Signalling Security,\u201d IEEE Access, vol.7, pp.125424-125441, 2019. doi: 10.1109\/ACCESS.2019.2937997. 10.1109\/ACCESS.2019.2937997","DOI":"10.1109\/ACCESS.2019.2937997"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] D. Basin, J. Dreier, L. Hirschi, S. Radomirovi\u0107, R. Sasse, and V. Stettler, \u201cA formal analysis of 5G authentication,\u201d Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pp.1383-1396, Toronto, Canada, 2018. doi: 10.1145\/3243734.3243846. 10.1145\/3243734.3243846","DOI":"10.1145\/3243734.3243846"},{"key":"6","unstructured":"[6] 3GPP TS33.501, \u201cSecurity architecture and procedures for 5G system,\u201d 2019."},{"key":"7","unstructured":"[7] 3GPP TS33.102, \u201c3G Security; Security architecture,\u201d 2018."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] M. Simon, S. Benedikt, C. Cas, and B. David, \u201cThe TAMARIN prover for the symbolic analysis of security protocols,\u201d International Conference on Computer Aided Verification, vol.8044, pp.696-701, Saint Petersburg, Russia, 2013. doi: 10.1007\/978-3-642-39799-8_48. 10.1007\/978-3-642-39799-8_48","DOI":"10.1007\/978-3-642-39799-8_48"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/8\/E103.D_2019FOL0001\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T03:24:19Z","timestamp":1596252259000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/8\/E103.D_2019FOL0001\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,1]]},"references-count":8,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2020]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2019fol0001","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,8,1]]}}}