A Formally Verified AKA Protocol for Vertical Handover in Heterogeneous Environments Using Casper/FDR

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 1036.9 KB