A formal analysis of authentication protocols for mobile devices in next generation networks
Article
Aiash, M. 2015. A formal analysis of authentication protocols for mobile devices in next generation networks. Concurrency and Computation: Practice and Experience. 27 (12), pp. 2938-2953. https://doi.org/10.1002/cpe.3260
Type | Article |
---|---|
Title | A formal analysis of authentication protocols for mobile devices in next generation networks |
Authors | Aiash, M. |
Abstract | Next Generation Networks comprises a wide variety of access technologies such as 2G/3G, WLAN as well as the Long Term Evolution (LTE) networks. In this environment, mobile devices are expected to store sensitive data and represent users to access the underlying networks and connect to a wide variety of sensitive servers. It is crucial, in this sense, for end users to trust their mobile devices and for all transactions using them to be secure. Therefore, a number of communication frameworks in Next Generation Networks have been working on designing device authentication protocols that achieve mutual authentication between users and mobile terminals. This paper analyses some of these protocols and introduces two new device authentication protocols, verifies them using formal methods approach and discusses how they achieved desired security proprieties. The performance analysis highlights another advantage of the proposed protocols |
Publisher | Wiley |
Journal | Concurrency and Computation: Practice and Experience |
ISSN | 1532-0626 |
Electronic | 1532-0634 |
Publication dates | |
Online | 18 Mar 2014 |
23 Jul 2015 | |
Publication process dates | |
Deposited | 19 Dec 2014 |
Accepted | 15 Feb 2014 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.1002/cpe.3260 |
Language | English |
https://repository.mdx.ac.uk/item/84y85
67
total views0
total downloads2
views this month0
downloads this month