{"id":"https://openalex.org/W2123339119","doi":"https://doi.org/10.1186/1687-1499-2012-57","title":"A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR","display_name":"A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR","publication_year":2012,"publication_date":"2012-02-22","ids":{"openalex":"https://openalex.org/W2123339119","doi":"https://doi.org/10.1186/1687-1499-2012-57","mag":"2123339119"},"language":"en","primary_location":{"id":"doi:10.1186/1687-1499-2012-57","is_oa":true,"landing_page_url":"https://doi.org/10.1186/1687-1499-2012-57","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/1687-1499-2012-57","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/1687-1499-2012-57","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084985541","display_name":"Mahdi Aiash","orcid":"https://orcid.org/0000-0002-3984-6244"},"institutions":[{"id":"https://openalex.org/I60488453","display_name":"Middlesex University","ror":"https://ror.org/01rv4p989","country_code":"GB","type":"education","lineage":["https://openalex.org/I60488453"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Mahdi Aiash","raw_affiliation_strings":["School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","School of Engineering and Information Systems (EIS), Middlesex University, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","institution_ids":["https://openalex.org/I60488453"]},{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, UK","institution_ids":["https://openalex.org/I60488453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015759294","display_name":"Glenford Mapp","orcid":"https://orcid.org/0000-0002-0539-5852"},"institutions":[{"id":"https://openalex.org/I60488453","display_name":"Middlesex University","ror":"https://ror.org/01rv4p989","country_code":"GB","type":"education","lineage":["https://openalex.org/I60488453"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Glenford Mapp","raw_affiliation_strings":["School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","School of Engineering and Information Systems (EIS), Middlesex University, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","institution_ids":["https://openalex.org/I60488453"]},{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, UK","institution_ids":["https://openalex.org/I60488453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081189407","display_name":"Aboubaker Lasebae","orcid":"https://orcid.org/0000-0003-2312-9694"},"institutions":[{"id":"https://openalex.org/I60488453","display_name":"Middlesex University","ror":"https://ror.org/01rv4p989","country_code":"GB","type":"education","lineage":["https://openalex.org/I60488453"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Aboubaker Lasebae","raw_affiliation_strings":["School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","School of Engineering and Information Systems (EIS), Middlesex University, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","institution_ids":["https://openalex.org/I60488453"]},{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, UK","institution_ids":["https://openalex.org/I60488453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066166428","display_name":"Rapha\u00ebl C.\u2010W. Phan","orcid":"https://orcid.org/0000-0001-7448-4595"},"institutions":[{"id":"https://openalex.org/I143804889","display_name":"Loughborough University","ror":"https://ror.org/04vg4w365","country_code":"GB","type":"education","lineage":["https://openalex.org/I143804889"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Raphael Phan","raw_affiliation_strings":["School of Electronic, Electrical and Systems Engineering, Loughborough University, Loughborough, UK","[School of Electronic, Electrical and Systems Engineering, Loughborough University, Loughborough, UK]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronic, Electrical and Systems Engineering, Loughborough University, Loughborough, UK","institution_ids":["https://openalex.org/I143804889"]},{"raw_affiliation_string":"[School of Electronic, Electrical and Systems Engineering, Loughborough University, Loughborough, UK]","institution_ids":["https://openalex.org/I143804889"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013385652","display_name":"Jonathan Loo","orcid":"https://orcid.org/0000-0002-2197-8126"},"institutions":[{"id":"https://openalex.org/I60488453","display_name":"Middlesex University","ror":"https://ror.org/01rv4p989","country_code":"GB","type":"education","lineage":["https://openalex.org/I60488453"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jonathan Loo","raw_affiliation_strings":["School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","School of Engineering and Information Systems (EIS), Middlesex University, London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, NW4 4BT, UK","institution_ids":["https://openalex.org/I60488453"]},{"raw_affiliation_string":"School of Engineering and Information Systems (EIS), Middlesex University, London, UK","institution_ids":["https://openalex.org/I60488453"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084985541"],"corresponding_institution_ids":["https://openalex.org/I60488453"],"apc_list":{"value":1665,"currency":"USD","value_usd":1665},"apc_paid":{"value":1665,"currency":"USD","value_usd":1665},"fwci":5.9914,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.96054676,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2012","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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.9998999834060669,"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/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T10986","display_name":"RFID technology advancements","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"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.891849160194397},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.7291814684867859},{"id":"https://openalex.org/keywords/heterogeneous-network","display_name":"Heterogeneous network","score":0.6763424873352051},{"id":"https://openalex.org/keywords/handover","display_name":"Handover","score":0.6232935786247253},{"id":"https://openalex.org/keywords/vertical-handover","display_name":"Vertical handover","score":0.6105937957763672},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5317275524139404},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.481598824262619},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.4780348241329193},{"id":"https://openalex.org/keywords/ethernet","display_name":"Ethernet","score":0.4558410346508026},{"id":"https://openalex.org/keywords/cellular-network","display_name":"Cellular network","score":0.4406791627407074},{"id":"https://openalex.org/keywords/aka","display_name":"AKA","score":0.4359559416770935},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4307568669319153},{"id":"https://openalex.org/keywords/mutual-authentication","display_name":"Mutual authentication","score":0.4253959059715271},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.34968018531799316},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2734072804450989},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.17047834396362305}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.891849160194397},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.7291814684867859},{"id":"https://openalex.org/C158207573","wikidata":"https://www.wikidata.org/wiki/Q5747224","display_name":"Heterogeneous network","level":4,"score":0.6763424873352051},{"id":"https://openalex.org/C111852164","wikidata":"https://www.wikidata.org/wiki/Q1414679","display_name":"Handover","level":2,"score":0.6232935786247253},{"id":"https://openalex.org/C2778863105","wikidata":"https://www.wikidata.org/wiki/Q7922836","display_name":"Vertical handover","level":5,"score":0.6105937957763672},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5317275524139404},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.481598824262619},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.4780348241329193},{"id":"https://openalex.org/C172173386","wikidata":"https://www.wikidata.org/wiki/Q79984","display_name":"Ethernet","level":2,"score":0.4558410346508026},{"id":"https://openalex.org/C153646914","wikidata":"https://www.wikidata.org/wiki/Q535695","display_name":"Cellular network","level":2,"score":0.4406791627407074},{"id":"https://openalex.org/C121158502","wikidata":"https://www.wikidata.org/wiki/Q4652161","display_name":"AKA","level":2,"score":0.4359559416770935},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4307568669319153},{"id":"https://openalex.org/C2781221063","wikidata":"https://www.wikidata.org/wiki/Q6944186","display_name":"Mutual authentication","level":3,"score":0.4253959059715271},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.34968018531799316},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2734072804450989},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.17047834396362305},{"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/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.1186/1687-1499-2012-57","is_oa":true,"landing_page_url":"https://doi.org/10.1186/1687-1499-2012-57","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/1687-1499-2012-57","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},{"id":"pmh:oai:eprints.mdx.ac.uk:8985","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400025","display_name":"Middlesex University Research Repository (Middlesex University Of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60488453","host_organization_name":"Middlesex University","host_organization_lineage":["https://openalex.org/I60488453"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1186/1687-1499-2012-57","is_oa":true,"landing_page_url":"https://doi.org/10.1186/1687-1499-2012-57","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/1687-1499-2012-57","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2123339119.pdf","grobid_xml":"https://content.openalex.org/works/W2123339119.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W25000267","https://openalex.org/W184501877","https://openalex.org/W1143161655","https://openalex.org/W1485844921","https://openalex.org/W1519542545","https://openalex.org/W1623229847","https://openalex.org/W1660562555","https://openalex.org/W1970794165","https://openalex.org/W2037557242","https://openalex.org/W2132147947","https://openalex.org/W2139567006","https://openalex.org/W2140471436","https://openalex.org/W2158750961","https://openalex.org/W2241519935","https://openalex.org/W2338403939","https://openalex.org/W2338785649","https://openalex.org/W2798278254","https://openalex.org/W4236257869","https://openalex.org/W4289127653"],"related_works":["https://openalex.org/W4249439626","https://openalex.org/W2132843562","https://openalex.org/W2740382736","https://openalex.org/W2140682030","https://openalex.org/W1970261941","https://openalex.org/W1843927929","https://openalex.org/W2161400465","https://openalex.org/W2110174114","https://openalex.org/W2123577501","https://openalex.org/W2040297177"],"abstract_inverted_index":{"Next":[0],"generation":[1],"networks":[2,7,47],"will":[3,41],"comprise":[4],"different":[5,46],"wireless":[6],"including":[8],"cellular":[9],"technologies,":[10],"WLAN":[11],"and":[12,64,70,97,109,131,149],"indoor":[13],"technologies.":[14],"To":[15],"support":[16],"these":[17,84],"heterogeneous":[18,35,78,165],"environments,":[19],"there":[20],"is":[21,135,144],"a":[22,26,53,58,128],"need":[23,42],"to":[24,43,113,119,137,160],"consider":[25],"new":[27,59,115,129],"design":[28],"of":[29,91,151],"the":[30,68,71,89,106,114,121,147,152],"network":[31,72],"infrastructure.":[32],"Furthermore,":[33],"this":[34,77,141,164],"environment":[36,116],"implies":[37],"that":[38,127],"future":[39],"devices":[40],"roam":[44],"between":[45,67],"using":[48],"vertical":[49],"handover":[50,139],"techniques.":[51],"When":[52],"mobile":[54,110],"user":[55,69],"moves":[56],"into":[57],"foreign":[60],"network,":[61],"data":[62],"confidentiality":[63],"mutual":[65],"authentication":[66,130],"are":[73],"vital":[74],"issues":[75,85],"in":[76,140,146,163],"environment.":[79,142,166],"This":[80],"article":[81],"deals":[82],"with":[83],"by":[86],"first":[87],"examining":[88],"implication":[90],"moving":[92],"towards":[93],"an":[94],"open":[95],"architecture,":[96],"then":[98],"looking":[99],"at":[100],"how":[101],"current":[102],"approaches":[103],"such":[104],"as":[105],"3GPP,":[107],"HOKEY":[108],"ethernet":[111],"respond":[112],"while":[117],"trying":[118],"address":[120],"security":[122],"issue.":[123],"The":[124,154],"results":[125],"indicate":[126],"key":[132],"agreement":[133],"protocol":[134,156],"required":[136],"secure":[138],"Casper/FDR,":[143],"used":[145],"analysis":[148],"development":[150],"protocol.":[153],"proposed":[155],"has":[157],"been":[158],"proven":[159],"be":[161],"successful":[162]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}