{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:10:49Z","timestamp":1778256649490,"version":"3.51.4"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2021YFB2700200"],"award-info":[{"award-number":["2021YFB2700200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172303"],"award-info":[{"award-number":["62172303"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62076187"],"award-info":[{"award-number":["62076187"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Key Research and Development Program of Hubei Province","award":["2022BAA039"],"award-info":[{"award-number":["2022BAA039"]}]},{"DOI":"10.13039\/100014103","name":"Key Technology Research and Development Program of Shandong Province","doi-asserted-by":"publisher","award":["2022CXPT055"],"award-info":[{"award-number":["2022CXPT055"]}],"id":[{"id":"10.13039\/100014103","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1109\/ton.2025.3556374","type":"journal-article","created":{"date-parts":[[2025,4,24]],"date-time":"2025-04-24T13:04:49Z","timestamp":1745499889000},"page":"2179-2191","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Analysis of 5G EAP-TLS Protocol"],"prefix":"10.1109","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9922-2153","authenticated-orcid":false,"given":"Min","family":"Shi","sequence":"first","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7212-5297","authenticated-orcid":false,"given":"Jing","family":"Chen","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuangzhuang","family":"Ma","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3472-419X","authenticated-orcid":false,"given":"Kun","family":"He","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3623-3490","authenticated-orcid":false,"given":"Meng","family":"Jia","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3634-3385","authenticated-orcid":false,"given":"Ruiying","family":"Du","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Securing Private Networks in the 5G Era","year":"2021"},{"key":"ref2","volume-title":"Apple Device Support for Private 5G and LTE Networks","year":"2023"},{"key":"ref3","volume-title":"Security Architecture and Procedures for 5G System","year":"2020"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DSC.2019.00082"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2001.959888"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74852"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_38"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1561\/3300000004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-140501"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00023"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38004-4_17"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134063"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.35"},{"key":"ref16","first-page":"1","article-title":"A formal analysis of IEEE 802.11\u2019s WPA2: Countering the kracks caused by cracking the counters","volume-title":"Proc. 29th USENIX Secur. Symp.","author":"Cremers"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00037"},{"key":"ref18","first-page":"179","article-title":"Card brand mixup attack: Bypassing the PIN in non-visa cards by using them for visa transactions","volume-title":"Proc. 30th USENIX Secur. Symp.","author":"Basin"},{"key":"ref19","first-page":"3065","article-title":"Inducing authentication failures to bypass credit card pins","volume-title":"Proc. 32nd USENIX Secur. Symp.","author":"Basin"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-51479-1_6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2023.23119"},{"key":"ref22","first-page":"37","article-title":"Formal analysis and patching of BLE-SC pairing","volume-title":"Proc. 32nd USENIX Secur. Symp.","author":"Shi"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/PIMRC.2004.1368846"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9187-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28641-4_2"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-014-0231-3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1515\/popets-2016-0039"},{"key":"ref28","first-page":"3595","article-title":"Privacy-preserving and standard-compatible AKA protocol for 5G","volume-title":"Proc. 30th USENIX Secur. Symp.","author":"Wang"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2019.00041"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382221"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813615"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00033"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23313"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243846"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.2478\/popets-2019-0039"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23394"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2022.109400"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1990.63854"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2024.3388467"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1002\/spy2.335"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_27"},{"key":"ref42","volume-title":"5G Non-Public Networks for Industrial Scenarios. 5G Alliance for Connected Industries and Automation (5G-ACIA)","year":"2021"},{"key":"ref43","volume-title":"The Transport Layer Security (TLS) Protocol Version 1.2","author":"Rescorla","year":"2008"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4017"},{"key":"ref45","doi-asserted-by":"crossref","DOI":"10.17487\/rfc5216","volume-title":"The EAP-TLS Authentication Protocol","author":"Simon","year":"2008"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44987-6_28"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75670-5_1"},{"key":"ref49","volume-title":"3G Security; Security Architecture","year":"2020"},{"key":"ref50","volume-title":"System Architecture Evolution (SAE); Security Architecture","year":"2020"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.25"},{"key":"ref53","volume-title":"Tamarin-Prover","author":"Basin","year":"2024"},{"key":"ref54","volume-title":"Tamarin Models and Verification Results of 5G EAP-TLS","author":"Shi","year":"2024"}],"container-title":["IEEE Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10723154\/11205918\/10976431.pdf?arnumber=10976431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T17:40:02Z","timestamp":1760722802000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10976431\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":54,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/ton.2025.3556374","relation":{},"ISSN":["2998-4157"],"issn-type":[{"value":"2998-4157","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10]]}}}