A formally verified device authentication protocol using Casper/FDR

Aiash, Mahdi ORCID: https://orcid.org/0000-0002-3984-6244, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Phan, Raphael, Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694 and Loo, Jonathan (2012) A formally verified device authentication protocol using Casper/FDR. In: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). Min, Geyong, Wu, Yulei, Liu, Lei (Chris), Jin, Xiaolong, Jarvis, Stephen and Al-Dubai, Ahmed Y., eds. IEEE, pp. 1293-1298. ISBN 9781467321723. [Book Section] (doi:10.1109/TrustCom.2012.27)

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (270kB) | Preview

Abstract

For communication in Next Generation Networks, highly-developed mobile devices will enable users to store and manage a lot of credentials on their terminals. Furthermore, these terminals will represent and act on behalf of users when accessing different networks and connecting to a wide variety of services. In this situation, it is essential for users to trust their terminals and for all transactions using them to be secure. This paper analyses a number of the Authentication and Key Agreement protocols between the users and mobile terminals, then proposes a novel device authentication protocol. The proposed protocol is analysed and verified using a formal methods approach based on Casper/FDR compiler.

Item Type: Book Section
Additional Information: Paper presented in The 11th IEEE International Conference on
Trust, Security and Privacy in Computing and Communications, Liverpool, United Kingdom, June 25-27, 2012.
Research Areas: A. > School of Science and Technology > Computer Science > SensoLab group
A. > School of Science and Technology > Computer and Communications Engineering
Item ID: 9049
Useful Links:
Depositing User: Mahdi Aiash
Date Deposited: 06 Jun 2012 10:37
Last Modified: 06 Feb 2021 07:19
URI: https://eprints.mdx.ac.uk/id/eprint/9049

Actions (login required)

View Item View Item