{"id":"https://openalex.org/W4200505714","doi":"https://doi.org/10.1109/itnac53136.2021.9652163","title":"Formal Verification of 5G EAP-AKA protocol","display_name":"Formal Verification of 5G EAP-AKA protocol","publication_year":2021,"publication_date":"2021-11-24","ids":{"openalex":"https://openalex.org/W4200505714","doi":"https://doi.org/10.1109/itnac53136.2021.9652163"},"language":"en","primary_location":{"id":"doi:10.1109/itnac53136.2021.9652163","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itnac53136.2021.9652163","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 31st International Telecommunication Networks and Applications Conference (ITNAC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035286185","display_name":"Megha Ajit","orcid":null},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Megha Ajit","raw_affiliation_strings":["Center for Cyber Security Systems and Networks Amrita Vishwa Vidyapeetham, Amritapuri, India"],"affiliations":[{"raw_affiliation_string":"Center for Cyber Security Systems and Networks Amrita Vishwa Vidyapeetham, Amritapuri, India","institution_ids":["https://openalex.org/I81556334"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049396814","display_name":"Sriram Sankaran","orcid":"https://orcid.org/0000-0002-7395-9242"},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sriram Sankaran","raw_affiliation_strings":["Center for Cyber Security Systems and Networks Amrita Vishwa Vidyapeetham, Amritapuri, India"],"affiliations":[{"raw_affiliation_string":"Center for Cyber Security Systems and Networks Amrita Vishwa Vidyapeetham, Amritapuri, India","institution_ids":["https://openalex.org/I81556334"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013774176","display_name":"Kurunandan Jain","orcid":"https://orcid.org/0000-0003-2038-1114"},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Kurunandan Jain","raw_affiliation_strings":["Center for Cyber Security Systems and Networks Amrita Vishwa Vidyapeetham, Amritapuri, India"],"affiliations":[{"raw_affiliation_string":"Center for Cyber Security Systems and Networks Amrita Vishwa Vidyapeetham, Amritapuri, India","institution_ids":["https://openalex.org/I81556334"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5035286185"],"corresponding_institution_ids":["https://openalex.org/I81556334"],"apc_list":null,"apc_paid":null,"fwci":0.7641,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.74410954,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"140","last_page":"146"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":1.0,"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":1.0,"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.9980000257492065,"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.9955999851226807,"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.8193811178207397},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6485933065414429},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5981322526931763},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5940403342247009},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.5814743638038635},{"id":"https://openalex.org/keywords/aka","display_name":"AKA","score":0.5512406229972839},{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.5439380407333374},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4686179757118225},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4256320595741272},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3221685290336609},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1255919635295868}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8193811178207397},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6485933065414429},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5981322526931763},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5940403342247009},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.5814743638038635},{"id":"https://openalex.org/C121158502","wikidata":"https://www.wikidata.org/wiki/Q4652161","display_name":"AKA","level":2,"score":0.5512406229972839},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.5439380407333374},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4686179757118225},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4256320595741272},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3221685290336609},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1255919635295868},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","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},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/itnac53136.2021.9652163","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itnac53136.2021.9652163","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 31st International Telecommunication Networks and Applications Conference (ITNAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W2500947442","https://openalex.org/W2544274814","https://openalex.org/W2652625053","https://openalex.org/W2771603954","https://openalex.org/W2772805003","https://openalex.org/W2773344899","https://openalex.org/W2787222284","https://openalex.org/W2803681306","https://openalex.org/W2809727329","https://openalex.org/W2902872716","https://openalex.org/W2906890170","https://openalex.org/W2946869648","https://openalex.org/W2962819974","https://openalex.org/W2963931528","https://openalex.org/W2968746919","https://openalex.org/W2969545733","https://openalex.org/W2990532842","https://openalex.org/W2992104486","https://openalex.org/W3003760462","https://openalex.org/W3044943040","https://openalex.org/W3080380934","https://openalex.org/W3092001004","https://openalex.org/W3195000612","https://openalex.org/W6605925781","https://openalex.org/W6770583604"],"related_works":["https://openalex.org/W2034419863","https://openalex.org/W2296396257","https://openalex.org/W3007106793","https://openalex.org/W2132505069","https://openalex.org/W1965515427","https://openalex.org/W2547137208","https://openalex.org/W2116285675","https://openalex.org/W2054202867","https://openalex.org/W2109882692","https://openalex.org/W2061637199"],"abstract_inverted_index":{"The":[0],"advent":[1],"of":[2,5,19,46,90,106,119,134,155],"5G,":[3],"one":[4],"the":[6,16,36,43,75,88,91,101,117,120,146,152,156,161,168,183,189,193],"most":[7],"recent":[8],"and":[9,136,166],"promising":[10],"technologies":[11],"currently":[12],"under":[13],"deployment,":[14],"fulfills":[15],"emerging":[17,37],"needs":[18],"mobile":[20],"subscribers":[21],"by":[22,145,188],"introducing":[23],"several":[24],"new":[25],"technological":[26],"advancements.":[27],"However,":[28,82],"this":[29,112],"may":[30],"lead":[31],"to":[32,41,74,98,197],"numerous":[33],"attacks":[34,135],"in":[35,71,182],"5G":[38,49,121,157],"networks.":[39],"Thus,":[40],"guarantee":[42],"secure":[44],"transmission":[45],"user":[47],"data,":[48],"Authentication":[50,55],"protocols":[51,66,103],"such":[52],"as":[53,77,79],"Extensible":[54],"Protocol":[56,61],"-":[57],"Authenticated":[58],"Key":[59],"Agreement":[60],"(EAP-AKA)":[62],"were":[63],"developed.":[64],"These":[65],"play":[67],"an":[68,125],"important":[69],"role":[70],"ensuring":[72],"security":[73,89,109,118,139,195],"users":[76],"well":[78],"their":[80],"data.":[81],"there":[83],"exists":[84],"no":[85],"guarantees":[86],"about":[87],"protocols.":[92],"Thus":[93],"formal":[94],"verification":[95,127],"is":[96],"necessary":[97],"ensure":[99],"that":[100,141,178],"authentication":[102],"are":[104],"devoid":[105],"vulnerabilities":[107],"or":[108],"loopholes.":[110],"Towards":[111],"goal,":[113],"we":[114,150],"formally":[115],"verify":[116],"EAP-AKA":[122,158],"protocol":[123,159,169],"using":[124,160],"automated":[126],"tool":[128],"called":[129,163],"ProVerif.":[130],"ProVerif":[131],"identifies":[132],"traces":[133],"checks":[137],"for":[138],"loopholes":[140],"can":[142,185],"be":[143,186,198],"accessed":[144,187],"attackers.":[147],"In":[148],"addition,":[149],"model":[151,173],"complete":[153],"architecture":[154,170,184],"language":[162],"typed":[164],"pi-calculus":[165],"analyze":[167],"through":[171],"symbolic":[172],"checking.":[174],"Our":[175],"analysis":[176],"shows":[177],"some":[179],"cryptographic":[180],"parameters":[181],"attackers":[190],"which":[191],"cause":[192],"corresponding":[194],"properties":[196],"violated.":[199]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}