{"id":"https://openalex.org/W7127580037","doi":"https://doi.org/10.1109/dese68208.2025.11367852","title":"Chaotic Map-Based Authentication Protocol for 5G Networks Security Analysis with Tamarin Prover","display_name":"Chaotic Map-Based Authentication Protocol for 5G Networks Security Analysis with Tamarin Prover","publication_year":2025,"publication_date":"2025-11-10","ids":{"openalex":"https://openalex.org/W7127580037","doi":"https://doi.org/10.1109/dese68208.2025.11367852"},"language":null,"primary_location":{"id":"doi:10.1109/dese68208.2025.11367852","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dese68208.2025.11367852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 18th International Conference on Development in eSystem Engineering (DeSE)","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/A5124983199","display_name":"Israa J. Mohammed Al-Kalfa","orcid":null},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Israa J. Mohammed Al-Kalfa","raw_affiliation_strings":["University of Malaga,Department of Telecommunication Engineering,Malaga,Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Malaga,Department of Telecommunication Engineering,Malaga,Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008867585","display_name":"Jorge Munilla","orcid":"https://orcid.org/0000-0003-2795-312X"},"institutions":[{"id":"https://openalex.org/I4210128557","display_name":"Ministry of Higher Education and Scientific Research","ror":"https://ror.org/03m5ehy13","country_code":"IQ","type":"government","lineage":["https://openalex.org/I4210128557"]}],"countries":["IQ"],"is_corresponding":false,"raw_author_name":"Jorge Munilla","raw_affiliation_strings":["Information Technology and Communication Research Center, Ministry of Higher Education & Scientific Research,Baghdad,Iraq"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Technology and Communication Research Center, Ministry of Higher Education & Scientific Research,Baghdad,Iraq","institution_ids":["https://openalex.org/I4210128557"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017939427","display_name":"Abdulmajeed Al-Jumaily","orcid":"https://orcid.org/0000-0001-7777-6075"},"institutions":[{"id":"https://openalex.org/I50357001","display_name":"Universidad Carlos III de Madrid","ror":"https://ror.org/03ths8210","country_code":"ES","type":"education","lineage":["https://openalex.org/I50357001"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Abdulmajeed Al-Jumaily","raw_affiliation_strings":["Universidad Carlos III de Madrid (UC3M),Department of Signal Theory and Communications (DTSC),Madrid,Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Carlos III de Madrid (UC3M),Department of Signal Theory and Communications (DTSC),Madrid,Spain","institution_ids":["https://openalex.org/I50357001"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106612765","display_name":"Karam J. Mohammed","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128557","display_name":"Ministry of Higher Education and Scientific Research","ror":"https://ror.org/03m5ehy13","country_code":"IQ","type":"government","lineage":["https://openalex.org/I4210128557"]},{"id":"https://openalex.org/I903614036","display_name":"Ministry of Higher Education and Scientific Research","ror":"https://ror.org/00kab6t91","country_code":"AE","type":"government","lineage":["https://openalex.org/I903614036"]}],"countries":["AE","IQ"],"is_corresponding":false,"raw_author_name":"Karam J. Mohammed","raw_affiliation_strings":["Space Research and Technology Center, Ministry of Higher Education & Scientific Research,Baghdad,Iraq"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Space Research and Technology Center, Ministry of Higher Education & Scientific Research,Baghdad,Iraq","institution_ids":["https://openalex.org/I903614036","https://openalex.org/I4210128557"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039983805","display_name":"Saba Jasim Aljumaili","orcid":"https://orcid.org/0000-0002-8524-0534"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Saba Jasim Aljumaili","raw_affiliation_strings":["Genetics and Molecular Biology, eSystems Engineering Scociety,Malaga,Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Genetics and Molecular Biology, eSystems Engineering Scociety,Malaga,Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5125081967","display_name":"Mohammed Harbi Adhab","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128557","display_name":"Ministry of Higher Education and Scientific Research","ror":"https://ror.org/03m5ehy13","country_code":"IQ","type":"government","lineage":["https://openalex.org/I4210128557"]},{"id":"https://openalex.org/I903614036","display_name":"Ministry of Higher Education and Scientific Research","ror":"https://ror.org/00kab6t91","country_code":"AE","type":"government","lineage":["https://openalex.org/I903614036"]}],"countries":["AE","IQ"],"is_corresponding":false,"raw_author_name":"Mohammed Harbi Adhab","raw_affiliation_strings":["Scientific Research Commission, Ministry of Higher Education & Scientific Research,Baghdad,Iraq"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Scientific Research Commission, Ministry of Higher Education & Scientific Research,Baghdad,Iraq","institution_ids":["https://openalex.org/I4210128557","https://openalex.org/I903614036"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5124983199"],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.70427213,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"308","last_page":"313"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9725000262260437,"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.9725000262260437,"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/T11498","display_name":"Security in Wireless Sensor Networks","score":0.006599999964237213,"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.002400000113993883,"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/forward-secrecy","display_name":"Forward secrecy","score":0.5968999862670898},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.5727999806404114},{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.5710999965667725},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5019999742507935},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.49050000309944153},{"id":"https://openalex.org/keywords/key-exchange","display_name":"Key exchange","score":0.4375999867916107},{"id":"https://openalex.org/keywords/message-authentication-code","display_name":"Message authentication code","score":0.4311999976634979},{"id":"https://openalex.org/keywords/mutual-authentication","display_name":"Mutual authentication","score":0.4205000102519989},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.4203999936580658},{"id":"https://openalex.org/keywords/replay-attack","display_name":"Replay attack","score":0.4104999899864197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7788000106811523},{"id":"https://openalex.org/C205009425","wikidata":"https://www.wikidata.org/wiki/Q935662","display_name":"Forward secrecy","level":4,"score":0.5968999862670898},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.5727999806404114},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.5710999965667725},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5392000079154968},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5019999742507935},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.49050000309944153},{"id":"https://openalex.org/C99674996","wikidata":"https://www.wikidata.org/wiki/Q1414155","display_name":"Key exchange","level":4,"score":0.4375999867916107},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4323999881744385},{"id":"https://openalex.org/C141492731","wikidata":"https://www.wikidata.org/wiki/Q1052621","display_name":"Message authentication code","level":3,"score":0.4311999976634979},{"id":"https://openalex.org/C2781221063","wikidata":"https://www.wikidata.org/wiki/Q6944186","display_name":"Mutual authentication","level":3,"score":0.4205000102519989},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.4203999936580658},{"id":"https://openalex.org/C11560541","wikidata":"https://www.wikidata.org/wiki/Q1756025","display_name":"Replay attack","level":3,"score":0.4104999899864197},{"id":"https://openalex.org/C130881749","wikidata":"https://www.wikidata.org/wiki/Q586894","display_name":"Security association","level":5,"score":0.40389999747276306},{"id":"https://openalex.org/C17886624","wikidata":"https://www.wikidata.org/wiki/Q1320561","display_name":"Key management","level":3,"score":0.39320001006126404},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3711000084877014},{"id":"https://openalex.org/C131129157","wikidata":"https://www.wikidata.org/wiki/Q1059963","display_name":"Challenge\u2013response authentication","level":4,"score":0.35499998927116394},{"id":"https://openalex.org/C9996903","wikidata":"https://www.wikidata.org/wiki/Q1749235","display_name":"Cryptographic nonce","level":3,"score":0.34880000352859497},{"id":"https://openalex.org/C510870077","wikidata":"https://www.wikidata.org/wiki/Q7444868","display_name":"Secure communication","level":3,"score":0.33180001378059387},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.31520000100135803},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.30379998683929443},{"id":"https://openalex.org/C168970074","wikidata":"https://www.wikidata.org/wiki/Q5227146","display_name":"Data Authentication Algorithm","level":4,"score":0.2985999882221222},{"id":"https://openalex.org/C167169670","wikidata":"https://www.wikidata.org/wiki/Q1824705","display_name":"Lightweight Extensible Authentication Protocol","level":4,"score":0.2777000069618225},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C65302260","wikidata":"https://www.wikidata.org/wiki/Q327675","display_name":"Symmetric-key algorithm","level":4,"score":0.27070000767707825},{"id":"https://openalex.org/C2777513581","wikidata":"https://www.wikidata.org/wiki/Q5611239","display_name":"Group key","level":3,"score":0.2694000005722046},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.26750001311302185},{"id":"https://openalex.org/C10511746","wikidata":"https://www.wikidata.org/wiki/Q899388","display_name":"Data security","level":3,"score":0.26429998874664307},{"id":"https://openalex.org/C2777052490","wikidata":"https://www.wikidata.org/wiki/Q5072826","display_name":"Chaotic","level":2,"score":0.25380000472068787},{"id":"https://openalex.org/C131672422","wikidata":"https://www.wikidata.org/wiki/Q852594","display_name":"Provable security","level":3,"score":0.25110000371932983}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dese68208.2025.11367852","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dese68208.2025.11367852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 18th International Conference on Development in eSystem Engineering (DeSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7471280694007874,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W3177168478","https://openalex.org/W3200381034","https://openalex.org/W4309335628","https://openalex.org/W4319787023","https://openalex.org/W4367595203","https://openalex.org/W4385423686","https://openalex.org/W4387058800","https://openalex.org/W4393036213","https://openalex.org/W4393188197","https://openalex.org/W4393409668","https://openalex.org/W4395447360","https://openalex.org/W4399618737","https://openalex.org/W4402129425","https://openalex.org/W4402290832"],"related_works":[],"abstract_inverted_index":{"this":[0,106],"paper":[1],"presents":[2],"that":[3,59,175],"mobile":[4,23],"communication":[5],"networks":[6],"are":[7,26,93],"essential":[8],"for":[9,131],"connecting":[10],"with":[11],"a":[12,87,126],"significant":[13],"portion":[14],"of":[15,65,73,140],"the":[16,61,66,71,74,113,138,141,181],"world's":[17],"population.":[18],"Users'":[19],"calls,":[20],"SMS,":[21],"and":[22,44,63,89,92,118,154,164,183],"data":[24,67],"security":[25,110,139,148,186],"heavily":[27],"reliant":[28],"on":[29,81],"how":[30],"well":[31],"Authenticated":[32],"Key":[33],"Exchange":[34],"(AKE)":[35],"protocols":[36,48],"work.":[37],"By":[38],"streamlining":[39],"two":[40],"crucial":[41],"procedures,":[42],"authentication":[43,69,78,153],"key":[45,53],"establishment,":[46],"these":[47],"facilitate":[49],"secure":[50,56],"communication.":[51],"While":[52],"setup":[54],"creates":[55],"cryptographic":[57,132],"keys":[58],"guarantee":[60],"confidentiality":[62],"integrity":[64],"transmitted,":[68],"verifies":[70],"identities":[72],"communicating":[75],"parties.":[76],"An":[77],"scheme":[79],"based":[80],"Chebyshev":[82,177],"chaotic":[83,178],"maps,":[84],"which":[85],"have":[86],"dynamic":[88],"complex":[90],"structure":[91],"highly":[94],"unpredictable":[95],"due":[96],"to":[97,100,116,136,156],"their":[98],"sensitivity":[99],"initial":[101],"circumstances,":[102],"is":[103,134],"proposed":[104,142],"in":[105],"article.":[107],"This":[108],"extra":[109],"measure":[111],"increases":[112],"protocol's":[114],"resistance":[115,155],"replay":[117],"man-in-the-middle":[119],"attacks,":[120],"among":[121],"others.":[122],"The":[123,144],"Tamarin":[124,167],"Prover,":[125],"strong":[127,185],"formal":[128],"verification":[129],"tool":[130],"protocols,":[133],"used":[135],"confirm":[137],"protocol.":[143],"improved":[145],"5G-AKA":[146],"protocols'":[147],"features,":[149],"such":[150],"as":[151],"secrecy":[152],"known":[157],"attack":[158],"vectors,":[159],"can":[160],"be":[161],"fully":[162],"evaluated":[163],"replicated":[165],"using":[166,176],"Prover.":[168],"In":[169],"5G":[170],"communications,":[171],"our":[172],"results":[173],"show":[174],"maps":[179],"enhances":[180],"protocol":[182],"offers":[184],"against":[187],"potential":[188],"attacks.":[189]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2026-02-06T00:00:00"}