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

Aiash, Mahdi and Mapp, Glenford E. and Lasebae, Aboubaker and 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

PDF (Full text) - Published version (with publisher's formatting)
Download (848kB)
This item is available in: Library Catalogue


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 and Communications Engineering
A. > School of Science and Technology > Computer Science > SensoLab group
ISI Impact: 0
Item ID: 8985
Notes on copyright: Licensed under Creative Commons Attribution 2.0 Generic (CC BY 2.0). You are free: to Share — to copy, distribute and transmit the work; to Remix — to adapt the work; to make commercial use of the work. Under the following conditions: Attribution — You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
Useful Links:
Depositing User: Mahdi Aiash
Date Deposited: 11 Apr 2012 14:22
Last Modified: 06 Dec 2016 17:36
URI: http://eprints.mdx.ac.uk/id/eprint/8985

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year