A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR

Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694, Phan, Raphael and Loo, Jonathan (2012) A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. EURASIP Journal on Wireless Communications and Networking, 2012 (57) . ISSN 1687-1499 [Article] (doi:10.1186/1687-1499-2012-57)

[img]
Preview
PDF (Full text) - Published version (with publisher's formatting)
Available under License Creative Commons Attribution 4.0.

Download (848kB) | Preview

Abstract

Next generation networks will comprise different wireless networks including cellular technologies, WLAN and indoor technologies. To support these heterogeneous environments, there is a need to consider a new design of the network infrastructure. Furthermore, this heterogeneous environment implies that future devices will need to roam between different networks using vertical handover techniques. When a mobile user moves into a new foreign network, data confidentiality and mutual authentication between the user and the network are vital issues in this heterogeneous environment. This article deals with these issues by first examining the implication of moving towards an open architecture, and then looking at how current approaches such as the 3GPP, HOKEY and mobile ethernet respond to the new environment while trying to address the security issue. The results indicate that a new authentication and key agreement protocol is required to secure handover in this environment. Casper/FDR, is used in the analysis and development of the protocol. The proposed protocol has been proven to be
successful in this heterogeneous environment.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > SensoLab group
A. > School of Science and Technology > Computer and Communications Engineering
ISI Impact: 0
Item ID: 8985
Useful Links:
Depositing User: Mahdi Aiash
Date Deposited: 11 Apr 2012 14:22
Last Modified: 16 Jun 2021 02:20
URI: https://eprints.mdx.ac.uk/id/eprint/8985

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
252Downloads
539Hits

Additional statistics are available via IRStats2.