{"id":"https://openalex.org/W3003760462","doi":"https://doi.org/10.1109/access.2020.2969474","title":"Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif","display_name":"Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3003760462","doi":"https://doi.org/10.1109/access.2020.2969474","mag":"3003760462"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.2969474","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2969474","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/08970242.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/08970242.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100369404","display_name":"Jingjing Zhang","orcid":"https://orcid.org/0000-0002-9075-7810"},"institutions":[{"id":"https://openalex.org/I4210163363","display_name":"PLA Army Engineering University","ror":"https://ror.org/05mgp8x93","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210163363"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingjing Zhang","raw_affiliation_strings":["College of Command and Control Engineering, Army Engineering University of PLA, Nanjing, China","National Key Laboratory of Science and Technology on Information System Security, Institute of System Engineering, Chinese Academy of Military Science, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-9075-7810","affiliations":[{"raw_affiliation_string":"College of Command and Control Engineering, Army Engineering University of PLA, Nanjing, China","institution_ids":["https://openalex.org/I4210163363"]},{"raw_affiliation_string":"National Key Laboratory of Science and Technology on Information System Security, Institute of System Engineering, Chinese Academy of Military Science, Beijing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101475284","display_name":"Lin Yang","orcid":"https://orcid.org/0000-0002-6956-8177"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin Yang","raw_affiliation_strings":["National Key Laboratory of Science and Technology on Information System Security, Institute of System Engineering, Chinese Academy of Military Science, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-6956-8177","affiliations":[{"raw_affiliation_string":"National Key Laboratory of Science and Technology on Information System Security, Institute of System Engineering, Chinese Academy of Military Science, Beijing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028260055","display_name":"Weipeng Cao","orcid":"https://orcid.org/0000-0003-2414-6066"},"institutions":[{"id":"https://openalex.org/I180726961","display_name":"Shenzhen University","ror":"https://ror.org/01vy4gh70","country_code":"CN","type":"education","lineage":["https://openalex.org/I180726961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weipeng Cao","raw_affiliation_strings":["College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0003-2414-6066","affiliations":[{"raw_affiliation_string":"College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China","institution_ids":["https://openalex.org/I180726961"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102883482","display_name":"Qiang Wang","orcid":"https://orcid.org/0000-0001-5649-8694"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qiang Wang","raw_affiliation_strings":["National Key Laboratory of Science and Technology on Information System Security, Institute of System Engineering, Chinese Academy of Military Science, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-5649-8694","affiliations":[{"raw_affiliation_string":"National Key Laboratory of Science and Technology on Information System Security, Institute of System Engineering, Chinese Academy of Military Science, Beijing, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":6.0407,"has_fulltext":true,"cited_by_count":68,"citation_normalized_percentile":{"value":0.96299276,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"8","issue":null,"first_page":"23674","last_page":"23688"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.9853000044822693,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8414652943611145},{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.7258672714233398},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6393816471099854},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.6053646206855774},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.6017535328865051},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5819507837295532},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5733340978622437},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5154024362564087},{"id":"https://openalex.org/keywords/universal-composability","display_name":"Universal composability","score":0.5150067806243896},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.49106311798095703},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.48858603835105896},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2937484383583069},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.1862434446811676},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09712320566177368}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8414652943611145},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.7258672714233398},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6393816471099854},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.6053646206855774},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.6017535328865051},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5819507837295532},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5733340978622437},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5154024362564087},{"id":"https://openalex.org/C165751822","wikidata":"https://www.wikidata.org/wiki/Q7894118","display_name":"Universal composability","level":4,"score":0.5150067806243896},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.49106311798095703},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.48858603835105896},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2937484383583069},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.1862434446811676},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09712320566177368},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2020.2969474","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2969474","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/08970242.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:4be6e465a2ba455db2aa812457a2526e","is_oa":true,"landing_page_url":"https://doaj.org/article/4be6e465a2ba455db2aa812457a2526e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 23674-23688 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.2969474","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2969474","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/08970242.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3003760462.pdf","grobid_xml":"https://content.openalex.org/works/W3003760462.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W188034648","https://openalex.org/W1488313539","https://openalex.org/W1573295900","https://openalex.org/W1603878273","https://openalex.org/W1769343819","https://openalex.org/W1779054477","https://openalex.org/W1975306232","https://openalex.org/W1987581799","https://openalex.org/W2029693536","https://openalex.org/W2032577199","https://openalex.org/W2114189125","https://openalex.org/W2132544882","https://openalex.org/W2150682469","https://openalex.org/W2155728227","https://openalex.org/W2169908972","https://openalex.org/W2522035104","https://openalex.org/W2544274814","https://openalex.org/W2613230346","https://openalex.org/W2618267215","https://openalex.org/W2652625053","https://openalex.org/W2753648062","https://openalex.org/W2765700031","https://openalex.org/W2773344899","https://openalex.org/W2793430853","https://openalex.org/W2797851632","https://openalex.org/W2803681306","https://openalex.org/W2809727329","https://openalex.org/W2889791335","https://openalex.org/W2906890170","https://openalex.org/W2940451011","https://openalex.org/W2944001547","https://openalex.org/W2946869648","https://openalex.org/W2968746919","https://openalex.org/W2969545733","https://openalex.org/W2992104486","https://openalex.org/W3032489362","https://openalex.org/W6605925781","https://openalex.org/W6638018693","https://openalex.org/W6677047699","https://openalex.org/W6737521615","https://openalex.org/W6761633762"],"related_works":["https://openalex.org/W2351645295","https://openalex.org/W1554274402","https://openalex.org/W3130926090","https://openalex.org/W1965722552","https://openalex.org/W2029851387","https://openalex.org/W4255046035","https://openalex.org/W4237112499","https://openalex.org/W2114477748","https://openalex.org/W2252724828","https://openalex.org/W1533722674"],"abstract_inverted_index":{"As":[0],"a":[1,15,119,206],"critical":[2],"component":[3],"of":[4,8,17,30,36,61,123,128,148,165,219,229],"the":[5,11,18,23,28,42,50,59,70,99,106,124,129,136,144,149,155,166,172,187,194,217,224,230],"security":[6,108,125,163,196],"architecture":[7],"5G":[9,43,101,130,150,231],"network,":[10],"authentication":[12,103,132,152,233],"protocol":[13,55,72,104,133,153,168,189],"plays":[14],"role":[16],"first":[19,145,225],"safeguard":[20],"in":[21,41,49,82,90,116,154,186],"ensuring":[22],"communication":[24],"security,":[25],"such":[26,37],"as":[27],"confidentiality":[29],"user":[31],"data.":[32],"EAP-TLS":[33,102,131,151,232],"is":[34,56,65,73,95,210,223],"one":[35],"protocols":[38],"being":[39],"defined":[40],"standards":[44],"to":[45,67,212],"provide":[46],"key":[47],"services":[48],"specific":[51],"IoT":[52],"circumstances.":[53],"This":[54],"currently":[57],"under":[58],"process":[60],"standardization,":[62],"and":[63,85,159,204],"it":[64,94],"vital":[66],"guarantee":[68],"that":[69,180,191,209],"standardized":[71],"free":[74],"from":[75],"any":[76],"design":[77,190],"flaws,":[78],"which":[79],"may":[80,192],"result":[81],"severe":[83],"vulnerabilities":[84],"serious":[86],"consequences":[87],"when":[88],"implemented":[89],"real":[91],"systems.":[92],"However,":[93],"still":[96],"unclear":[97],"whether":[98],"proposed":[100],"provides":[105],"claimed":[107,195],"guarantees.":[109],"To":[110,198,216],"fill":[111],"this":[112,117,199,222],"gap,":[113],"we":[114,142,201],"present":[115],"work":[118],"comprehensive":[120],"formal":[121,146,167,227],"analysis":[122,164,177,228],"related":[126],"properties":[127],"based":[134],"on":[135],"symbolic":[137],"model":[138,147,169,174],"checking":[139],"approach.":[140],"Specifically,":[141],"build":[143],"applied":[156],"pi":[157],"calculus,":[158],"perform":[160],"an":[161],"automated":[162],"by":[170],"using":[171],"ProVerif":[173],"checker.":[175],"Our":[176],"results":[178],"show":[179],"there":[181],"are":[182],"some":[183],"subtle":[184],"flaws":[185],"current":[188],"compromise":[193],"objectives.":[197],"end,":[200],"also":[202],"propose":[203],"verify":[205],"possible":[207],"fix":[208],"able":[211],"mitigate":[213],"these":[214],"flaws.":[215],"best":[218],"our":[220],"knowledge,":[221],"thorough":[226],"protocol.":[234]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":19},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":5}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}