A formally verified device authentication protocol using Casper/FDR

Aiash, Mahdi and Mapp, Glenford E. and Phan, Raphael and Lasebae, Aboubaker 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 and Wu, Yulei and Liu, Lei (Chris) and Jin, Xiaolong and Jarvis, Stephen and Al-Dubai, Ahmed Y., eds. IEEE, pp. 1293-1298. ISBN 9781467321723

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (270kB)

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.
Keywords (uncontrolled): Authentication and key agreement protocol; Casper/FDR; Device authentication protocols
Research Areas: A. > School of Science and Technology > Computer and Communications Engineering
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 9049
Useful Links:
Depositing User: Mahdi Aiash
Date Deposited: 06 Jun 2012 10:37
Last Modified: 13 Oct 2016 14:24
URI: http://eprints.mdx.ac.uk/id/eprint/9049

Actions (login required)

Edit Item Edit Item