{"id":"https://openalex.org/W4226449728","doi":"https://doi.org/10.1109/jiot.2022.3165580","title":"Design and Formal Analysis of a Lightweight MIPv6 Authentication Scheme","display_name":"Design and Formal Analysis of a Lightweight MIPv6 Authentication Scheme","publication_year":2022,"publication_date":"2022-04-07","ids":{"openalex":"https://openalex.org/W4226449728","doi":"https://doi.org/10.1109/jiot.2022.3165580"},"language":"en","primary_location":{"id":"doi:10.1109/jiot.2022.3165580","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2022.3165580","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-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/A5082144617","display_name":"Daojing He","orcid":"https://orcid.org/0000-0002-3820-8128"},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Daojing He","raw_affiliation_strings":["Software Engineering Institute, East China Normal University, Shanghai, China","School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-3820-8128","affiliations":[{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]},{"raw_affiliation_string":"School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102899142","display_name":"Xintong Lu","orcid":"https://orcid.org/0000-0002-9536-7811"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xintong Lu","raw_affiliation_strings":["Software Engineering Institute, East China Normal University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-9536-7811","affiliations":[{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002877614","display_name":"Xuru Li","orcid":"https://orcid.org/0000-0003-0027-0142"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuru Li","raw_affiliation_strings":["Software Engineering Institute, East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering Institute, East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091879207","display_name":"Sammy Chan","orcid":"https://orcid.org/0000-0002-8524-229X"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Sammy Chan","raw_affiliation_strings":["Department of Electrical Engineering, City University of Hong Kong, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-8524-229X","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, City University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057916222","display_name":"Mohsen Guizani","orcid":"https://orcid.org/0000-0002-8972-8094"},"institutions":[{"id":"https://openalex.org/I4210113480","display_name":"Mohamed bin Zayed University of Artificial Intelligence","ror":"https://ror.org/0258gkt32","country_code":"AE","type":"education","lineage":["https://openalex.org/I4210113480"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Mohsen Guizani","raw_affiliation_strings":["Machine Learning Department, Mohamed Bin Zayed University of Artificial Intelligence (MBZUAI), Abu Dhabi, UAE"],"raw_orcid":"https://orcid.org/0000-0002-8972-8094","affiliations":[{"raw_affiliation_string":"Machine Learning Department, Mohamed Bin Zayed University of Artificial Intelligence (MBZUAI), Abu Dhabi, UAE","institution_ids":["https://openalex.org/I4210113480"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5082144617"],"corresponding_institution_ids":["https://openalex.org/I204983213","https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":1.5694,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.83386695,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"9","issue":"19","first_page":"19238","last_page":"19245"},"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.9970999956130981,"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/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.856772780418396},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.6986749172210693},{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.5436491370201111},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.5125722885131836},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4979391098022461},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.485648512840271},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4837072491645813},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4601259231567383},{"id":"https://openalex.org/keywords/ipv6","display_name":"IPv6","score":0.41517436504364014},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3796481192111969},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1486969292163849},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.10849553346633911},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.09700256586074829}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.856772780418396},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.6986749172210693},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.5436491370201111},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.5125722885131836},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4979391098022461},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.485648512840271},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4837072491645813},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4601259231567383},{"id":"https://openalex.org/C84555802","wikidata":"https://www.wikidata.org/wiki/Q2551624","display_name":"IPv6","level":3,"score":0.41517436504364014},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3796481192111969},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1486969292163849},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.10849553346633911},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.09700256586074829},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jiot.2022.3165580","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jiot.2022.3165580","pdf_url":null,"source":{"id":"https://openalex.org/S2480266640","display_name":"IEEE Internet of Things Journal","issn_l":"2327-4662","issn":["2327-4662","2372-2541"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Internet of Things Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1853938599","display_name":null,"funder_award_id":"SQ2021YFB2700900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G6499369327","display_name":null,"funder_award_id":"171058","funder_id":"https://openalex.org/F4320326297","funder_display_name":"Fok Ying Tung Education Foundation"},{"id":"https://openalex.org/G7035428244","display_name":null,"funder_award_id":"CityU 11201421","funder_id":"https://openalex.org/F4320321592","funder_display_name":"Research Grants Council, University Grants Committee"},{"id":"https://openalex.org/G8187429964","display_name":null,"funder_award_id":"U1936120","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321592","display_name":"Research Grants Council, University Grants Committee","ror":"https://ror.org/00djwmt25"},{"id":"https://openalex.org/F4320326297","display_name":"Fok Ying Tung Education Foundation","ror":null},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1485721171","https://openalex.org/W1658748398","https://openalex.org/W1988366132","https://openalex.org/W2034485076","https://openalex.org/W2040144912","https://openalex.org/W2047649448","https://openalex.org/W2076395875","https://openalex.org/W2089230540","https://openalex.org/W2106418237","https://openalex.org/W2135899465","https://openalex.org/W2201501577","https://openalex.org/W2399469196","https://openalex.org/W2493179317","https://openalex.org/W2583374083","https://openalex.org/W2607206501","https://openalex.org/W2728481730","https://openalex.org/W2737788605","https://openalex.org/W2765525222","https://openalex.org/W2767082455","https://openalex.org/W2907329754","https://openalex.org/W2918180331","https://openalex.org/W2955727235","https://openalex.org/W2963184129","https://openalex.org/W2966342255","https://openalex.org/W3003617291","https://openalex.org/W3099877837","https://openalex.org/W3115691279","https://openalex.org/W3116340568","https://openalex.org/W3132920691","https://openalex.org/W3153330619","https://openalex.org/W3162198748","https://openalex.org/W3173917770","https://openalex.org/W3187211683","https://openalex.org/W3200780444","https://openalex.org/W3212509590","https://openalex.org/W4200081613","https://openalex.org/W6712804043","https://openalex.org/W6754244605","https://openalex.org/W6765482590"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2037121848","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W2171674700"],"abstract_inverted_index":{"The":[0,37],"emergence":[1],"of":[2,68,80,107,131,134,160,183,221],"mobile":[3,29],"IPv6":[4],"(MIPv6)":[5],"significantly":[6],"affected":[7],"how":[8,203],"we":[9,163,190],"live":[10],"and":[11,34,42,97,121,180],"work,":[12],"while":[13],"it":[14,94],"still":[15,63],"faces":[16],"more":[17],"security":[18,52,101,178],"threats":[19],"than":[20],"traditional":[21],"wireless":[22],"networks.":[23],"On":[24],"the":[25,43,69,104,132,142,184,192,219],"other":[26],"hand,":[27],"most":[28,67,110],"devices":[30],"have":[31,54,128],"constrained":[32],"computing":[33],"storage":[35],"resources.":[36,174],"network":[38,44],"environment":[39],"is":[40,95],"complex,":[41],"topology":[45],"also":[46,201],"changes":[47],"very":[48],"frequently.":[49],"Although":[50],"various":[51],"protocols":[53,83],"been":[55,129],"proposed":[56,185],"for":[57,149,170],"authentication":[58,71,82,168,186,226],"in":[59,75,224],"MIPv6,":[60],"there":[61],"are":[62,117,144,152],"some":[64,85],"challenges.":[65],"First,":[66],"subsisting":[70],"schemes":[72],"cannot":[73],"work":[74],"resource-constrained":[76],"environments.":[77],"Second,":[78],"each":[79],"these":[81,161],"has":[84],"defects,":[86],"which":[87,116,209],"may":[88],"lead":[89],"to":[90,99,138,147,195,204,216],"serious":[91],"consequences.":[92],"So":[93],"valuable":[96],"crucial":[98],"conduct":[100,176],"analysis":[102,179,223],"at":[103],"design":[105],"stage":[106],"protocols.":[108,140],"Currently,":[109],"researchers":[111,127],"attempt":[112],"adopting":[113],"informal":[114],"methods,":[115],"not":[118,153],"as":[119,123,213],"effective":[120],"suitable":[122],"formal":[124,136,156,207,222],"methods.":[125,157],"Some":[126],"conscious":[130],"advantages":[133],"using":[135],"methods":[137],"verify":[139],"However,":[141],"approaches":[143],"too":[145],"complex":[146],"understand":[148],"those":[150],"who":[151],"familiar":[154],"with":[155,172],"In":[158,188],"light":[159],"challenges,":[162],"propose":[164],"a":[165,177],"lightweight":[166],"MIPv6":[167,225],"scheme":[169],"environments":[171],"low":[173],"We":[175,200],"performance":[181],"comparison":[182],"scheme.":[187],"particular,":[189],"use":[191,205],"SVO":[193],"logic":[194],"formally":[196],"analyze":[197],"its":[198],"security.":[199],"explain":[202],"this":[206],"method,":[208],"can":[210],"be":[211],"regarded":[212],"an":[214],"example":[215],"better":[217],"illustrate":[218],"application":[220],"schemes.":[227]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}