{"id":"https://openalex.org/W4200564994","doi":"https://doi.org/10.3390/s21248383","title":"Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols","display_name":"Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols","publication_year":2021,"publication_date":"2021-12-15","ids":{"openalex":"https://openalex.org/W4200564994","doi":"https://doi.org/10.3390/s21248383","pmid":"https://pubmed.ncbi.nlm.nih.gov/34960473"},"language":"en","primary_location":{"id":"doi:10.3390/s21248383","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s21248383","pdf_url":"https://www.mdpi.com/1424-8220/21/24/8383/pdf?version=1639924441","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1424-8220/21/24/8383/pdf?version=1639924441","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025186992","display_name":"Daniel Gerbi Duguma","orcid":"https://orcid.org/0000-0002-7121-4204"},"institutions":[{"id":"https://openalex.org/I24541011","display_name":"Soonchunhyang University","ror":"https://ror.org/03qjsrb10","country_code":"KR","type":"education","lineage":["https://openalex.org/I24541011"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Daniel Gerbi Duguma","raw_affiliation_strings":["Department of Information Security Engineering, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea"],"affiliations":[{"raw_affiliation_string":"Department of Information Security Engineering, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea","institution_ids":["https://openalex.org/I24541011"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017792460","display_name":"Ilsun You","orcid":"https://orcid.org/0000-0002-0604-3445"},"institutions":[{"id":"https://openalex.org/I24541011","display_name":"Soonchunhyang University","ror":"https://ror.org/03qjsrb10","country_code":"KR","type":"education","lineage":["https://openalex.org/I24541011"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Ilsun You","raw_affiliation_strings":["Department of ICT Environmental Health System, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea"],"affiliations":[{"raw_affiliation_string":"Department of ICT Environmental Health System, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea","institution_ids":["https://openalex.org/I24541011"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017706867","display_name":"Yonas Engida Gebremariam","orcid":"https://orcid.org/0000-0002-4751-256X"},"institutions":[{"id":"https://openalex.org/I24541011","display_name":"Soonchunhyang University","ror":"https://ror.org/03qjsrb10","country_code":"KR","type":"education","lineage":["https://openalex.org/I24541011"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Yonas Engida Gebremariam","raw_affiliation_strings":["Department of ICT Environmental Health System, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea"],"affiliations":[{"raw_affiliation_string":"Department of ICT Environmental Health System, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea","institution_ids":["https://openalex.org/I24541011"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100731860","display_name":"Jiyoon Kim","orcid":"https://orcid.org/0000-0003-2710-0864"},"institutions":[{"id":"https://openalex.org/I24541011","display_name":"Soonchunhyang University","ror":"https://ror.org/03qjsrb10","country_code":"KR","type":"education","lineage":["https://openalex.org/I24541011"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Jiyoon Kim","raw_affiliation_strings":["Department of Information Security Engineering, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea"],"affiliations":[{"raw_affiliation_string":"Department of Information Security Engineering, Soonchunhyang University, Asan-si 31538, Choongchungnam-do, Korea","institution_ids":["https://openalex.org/I24541011"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5017792460","https://openalex.org/A5100731860"],"corresponding_institution_ids":["https://openalex.org/I24541011"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2598},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2598},"fwci":0.0849,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.4131888,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"21","issue":"24","first_page":"8383","last_page":"8383"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11932","display_name":"Wireless Body Area Networks","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11932","display_name":"Wireless Body Area Networks","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994000196456909,"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.9979000091552734,"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-security","display_name":"Computer security","score":0.7348013520240784},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7148292660713196},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.56639164686203},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5117542743682861},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.5018572807312012},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4707287549972534},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.46491795778274536},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.4520542323589325},{"id":"https://openalex.org/keywords/anonymity","display_name":"Anonymity","score":0.425764262676239},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3705614507198334}],"concepts":[{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.7348013520240784},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7148292660713196},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.56639164686203},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5117542743682861},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.5018572807312012},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4707287549972534},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.46491795778274536},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.4520542323589325},{"id":"https://openalex.org/C178005623","wikidata":"https://www.wikidata.org/wiki/Q308859","display_name":"Anonymity","level":2,"score":0.425764262676239},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3705614507198334},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[{"descriptor_ui":"D003219","descriptor_name":"Confidentiality","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003219","descriptor_name":"Confidentiality","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D003219","descriptor_name":"Confidentiality","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D006801","descriptor_name":"Humans","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D008128","descriptor_name":"Logic","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D016494","descriptor_name":"Computer Security","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D016494","descriptor_name":"Computer Security","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D016494","descriptor_name":"Computer Security","qualifier_ui":null,"qualifier_name":null,"is_major_topic":true},{"descriptor_ui":"D018907","descriptor_name":"Privacy","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D018907","descriptor_name":"Privacy","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D018907","descriptor_name":"Privacy","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D019736","descriptor_name":"Prostheses and Implants","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D019736","descriptor_name":"Prostheses and Implants","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false},{"descriptor_ui":"D019736","descriptor_name":"Prostheses and Implants","qualifier_ui":null,"qualifier_name":null,"is_major_topic":false}],"locations_count":5,"locations":[{"id":"doi:10.3390/s21248383","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s21248383","pdf_url":"https://www.mdpi.com/1424-8220/21/24/8383/pdf?version=1639924441","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},{"id":"pmid:34960473","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/34960473","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:doaj.org/article:66a4ae1a335b401ba5367004ed4bea31","is_oa":true,"landing_page_url":"https://doaj.org/article/66a4ae1a335b401ba5367004ed4bea31","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors, Vol 21, Iss 24, p 8383 (2021)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1424-8220/21/24/8383/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/s21248383","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors; Volume 21; Issue 24; Pages: 8383","raw_type":"Text"},{"id":"pmh:oai:pubmedcentral.nih.gov:8704301","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/8704301","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors (Basel)","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/s21248383","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s21248383","pdf_url":"https://www.mdpi.com/1424-8220/21/24/8383/pdf?version=1639924441","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5099999904632568}],"awards":[{"id":"https://openalex.org/G2308744934","display_name":null,"funder_award_id":"NRF-2020R1I1A2073603","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G342704958","display_name":null,"funder_award_id":"funded","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G8007827064","display_name":null,"funder_award_id":"2020R1I1A2073603","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G982292920","display_name":null,"funder_award_id":"NRF-20","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320321301","display_name":"Soonchunhyang University","ror":"https://ror.org/03qjsrb10"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4200564994.pdf","grobid_xml":"https://content.openalex.org/works/W4200564994.grobid-xml"},"referenced_works_count":54,"referenced_works":["https://openalex.org/W147977552","https://openalex.org/W149420927","https://openalex.org/W1580570573","https://openalex.org/W1975978802","https://openalex.org/W1982170863","https://openalex.org/W2009006983","https://openalex.org/W2044087439","https://openalex.org/W2086687976","https://openalex.org/W2096025074","https://openalex.org/W2102753983","https://openalex.org/W2109673240","https://openalex.org/W2117064875","https://openalex.org/W2143472559","https://openalex.org/W2174187647","https://openalex.org/W2175661655","https://openalex.org/W2337833343","https://openalex.org/W2513543528","https://openalex.org/W2558494191","https://openalex.org/W2740703488","https://openalex.org/W2774107733","https://openalex.org/W2792152774","https://openalex.org/W2891588606","https://openalex.org/W2962922098","https://openalex.org/W2982344915","https://openalex.org/W2991970513","https://openalex.org/W2995375072","https://openalex.org/W3008876543","https://openalex.org/W3009252054","https://openalex.org/W3013558657","https://openalex.org/W3036748735","https://openalex.org/W3043308527","https://openalex.org/W3046683243","https://openalex.org/W3082611615","https://openalex.org/W3091391092","https://openalex.org/W3100943082","https://openalex.org/W3126324544","https://openalex.org/W3127357785","https://openalex.org/W3133978648","https://openalex.org/W3135047161","https://openalex.org/W3135212214","https://openalex.org/W3135881664","https://openalex.org/W3201737138","https://openalex.org/W3203696811","https://openalex.org/W3211335652","https://openalex.org/W6713340595","https://openalex.org/W6741971166","https://openalex.org/W6780711155","https://openalex.org/W6781852193","https://openalex.org/W6783406258","https://openalex.org/W6789779263","https://openalex.org/W6790639894","https://openalex.org/W6791454363","https://openalex.org/W6791458441","https://openalex.org/W6791682177"],"related_works":["https://openalex.org/W3183948672","https://openalex.org/W3173606202","https://openalex.org/W3110381201","https://openalex.org/W1531601525","https://openalex.org/W3195032220","https://openalex.org/W4387988068","https://openalex.org/W1965722552","https://openalex.org/W2136262554","https://openalex.org/W4237112499","https://openalex.org/W2090144004"],"abstract_inverted_index":{"The":[0],"need":[1],"for":[2,65,92],"continuous":[3],"monitoring":[4],"of":[5,8,11,20,69,111,129,184,215],"physiological":[6],"information":[7],"critical":[9,159],"organs":[10],"the":[12,17,26,39,44,56,60,66,88,102,109,112,124,138,143,196,206,212],"human":[13,57],"body,":[14,58],"combined":[15],"with":[16,132,149],"ever-growing":[18],"field":[19],"electronics":[21],"and":[22,25,59,87,107,127,134,173,178,181,211,219,235,246],"sensor":[23],"technologies":[24],"vast":[27],"opportunities":[28],"brought":[29],"by":[30,142,190,201],"5G":[31],"connectivity,":[32],"have":[33,118,193],"made":[34,141],"implantable":[35],"medical":[36],"devices":[37,42],"(IMDs)":[38],"most":[40],"necessitated":[41],"in":[43,55,105],"health":[45],"arena.":[46],"IMDs":[47],"are":[48,53,75,147,155],"very":[49],"sensitive":[50],"since":[51],"they":[52,74],"implanted":[54],"patients":[61],"depend":[62],"on":[63],"them":[64,99],"proper":[67],"functioning":[68],"their":[70,84,229],"vital":[71,237],"organs.":[72],"Simultaneously,":[73],"intrinsically":[76],"vulnerable":[77],"to":[78,83,97,122],"several":[79],"attacks":[80],"mainly":[81],"due":[82],"resource":[85],"limitations":[86],"wireless":[89],"channel":[90],"utilized":[91],"data":[93],"transmission.":[94],"Hence,":[95],"failing":[96],"secure":[98],"would":[100],"put":[101],"patient's":[103],"life":[104],"jeopardy":[106],"damage":[108],"reputations":[110],"manufacturers.":[113],"To":[114],"date,":[115],"various":[116],"researchers":[117],"proposed":[119,151],"different":[120],"countermeasures":[121],"keep":[123],"confidentiality,":[125],"integrity,":[126],"availability":[128],"IMD":[130,198],"systems":[131],"privacy":[133],"safety":[135],"specifications.":[136],"Despite":[137],"appreciated":[139],"efforts":[140],"research":[144],"community,":[145],"there":[146,154],"issues":[148],"these":[150,226],"solutions.":[152],"Principally,":[153],"at":[156],"least":[157],"three":[158],"problems.":[160],"(1)":[161],"Inadequate":[162],"essential":[163],"capabilities":[164],"(such":[165],"as":[166,240],"emergency":[167,241],"authentication,":[168],"key":[169,243],"update":[170,244],"mechanism,":[171],"anonymity,":[172],"adaptability);":[174],"(2)":[175],"heavy":[176],"computational":[177,232],"communication":[179],"overheads;":[180],"(3)":[182],"lack":[183],"rigorous":[185],"formal":[186,204],"security":[187,230],"verification.":[188],"Motivated":[189],"this,":[191],"we":[192,224],"thoroughly":[194],"analyzed":[195],"current":[197],"authentication":[199],"protocols":[200],"utilizing":[202],"two":[203],"approaches:":[205],"Burrows-Abadi-Needham":[207],"logic":[208],"(BAN":[209],"logic)":[210],"Automated":[213],"Validation":[214],"Internet":[216],"Security":[217],"Protocols":[218],"Applications":[220],"(AVISPA).":[221],"In":[222],"addition,":[223],"compared":[225],"schemes":[227],"against":[228],"strengths,":[231],"overheads,":[233],"latency,":[234],"other":[236],"features,":[238],"such":[239],"authentications,":[242],"mechanisms,":[245],"adaptabilities.":[247]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}