Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR

Aiash, Mahdi and Loo, Jonathan (2014) Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. International Journal of Communication Systems, 27 (12). pp. 3600-3618. ISSN 1074-5351

This is the latest version of this item.

[img]
Preview
PDF - First submitted uncorrected version (with author's formatting)
Download (1MB) | Preview

Abstract

Next Generation Networks is a convergence of networks such as 2G/3G, WLAN as well as the recently implemented Long Term Evolution (LTE) networks. Future mobile devices will switch between these different networks to maintain the connectivity with end servers. However, to support these heterogeneous environments, there is a need to consider a new design of the network infrastructure, where currently closed systems such as 3G will have to operate in an open environment. Security is a key issue in this open environment; after authenticating the mobile terminal to access the network, there is a requirement for service-level mechanisms to protect the session between the mobile terminal and the remote service provider. Furthermore, since mobile terminals switch between networks of different characteristics in terms of coverage, Quality of Service and security, there is a need for re-assessing the security of the same session over the different networks to comply with the changes at the network level due to the mobility. Therefore, this paper introduces a Service-Level Authentication and Key Agreement protocol to secure the session between the mobile terminal and the end server. The proposed protocol considers user mobilities in an heterogeneous environment and reassesses the session's security level in case of handover. The proposed protocol has been verified using formal methods approach based on the well-established Casper/FDR compilers.

Item Type: Article
Additional Information: Article first published online: 5 JUN 2013
Research Areas: A. > School of Science and Technology > Computer Science > SensoLab group
A. > School of Science and Technology > Computer and Communications Engineering
Item ID: 10623
Notes on copyright: This is the pre-peer reviewed version of the following article:Aiash, M., and Loo J. (2014), Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR, Int. J. Commun. Syst., 27, 3600–3618, doi: 10.1002/dac.2561., which has been published in final form at https://doi.org/10.1002/dac.2561. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Use of Self-Archived Versions
Useful Links:
Depositing User: Mahdi Aiash
Date Deposited: 21 May 2013 08:56
Last Modified: 21 Nov 2018 17:48
URI: http://eprints.mdx.ac.uk/id/eprint/10623

Available Versions of this Item

  • Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. (deposited 21 May 2013 08:56) [Currently Displayed]

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