A Formally Verified Device Authentication Protocol Using Casper/FDR

Mahdi Aiash, Glenford Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo
2012 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications  
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
more » ... otocols 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.
doi:10.1109/trustcom.2012.27 dblp:conf/trustcom/AiashMPLL12 fatcat:kjpd4lklk5gllf4mmnn5upcpga