A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
A Formally Verified Device Authentication Protocol Using Casper/FDR
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
doi:10.1109/trustcom.2012.27
dblp:conf/trustcom/AiashMPLL12
fatcat:kjpd4lklk5gllf4mmnn5upcpga