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 - Accepted Version
Restricted to Repository staff and depositor only

270kB

Official URL: http://dx.doi.org/10.1109/TrustCom.2012.27

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:School of Science and Technology > Computer and Communications Engineering
School of Science and Technology > Science & Technology
ID Code:9049
Useful Links:
Deposited On:06 Jun 2012 10:37
Last Modified:13 May 2014 15:41

Repository staff and depositor only: item control page

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