A Formally Verified Device Authentication Protocol Using Casper/FDR

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 s...

Full description

Saved in:
Bibliographic Details
Main Authors: Aiash, M., Mapp, G., Phan, R. C.-W, Lasebae, A., Loo, J.
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Authentication
Authentication and Key Agreement Protocol
Casper/FDR
Device Authentication Protocols
Mobile communication
Mobile computing
Mobile handsets
Protocols
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2324-898X
2324-9013
DOI:10.1109/TrustCom.2012.27