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

Mahdi Aiash, Glenford Mapp, Aboubaker Lasebae, Raphael Phan, Jonathan Loo

Research output: Contribution to journalArticleResearchpeer-review

19 Citations (Scopus)

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.

Original languageEnglish
Article number57
JournalEurasip Journal on Wireless Communications and Networking
Volume2012
DOIs
Publication statusPublished - 2012
Externally publishedYes

Keywords

  • Authentication and key agreement protocol
  • Casper/FDR
  • Heterogeneous environments
  • Secure vertical handover

Cite this