A formal analysis of authentication protocols for mobile devices in next generation networks

摘要

Next Generation Networks comprise a wide variety of access technologies such as 2G/3G, WLAN as well asrnthe Long-Term Evolution (LTE) networks. In this environment, mobile devices are expected to store sensitiverndata and represent users to access the underlying networks and connect to a wide variety of sensitive servers.rnIt is crucial, in this sense, for end users to trust their mobile devices and for all transactions using themrnto be secure. Therefore, a number of communication frameworks in Next Generation Networks have beenrnworking on designing device authentication protocols that achieve mutual authentication between users andrnmobile terminals. This paper analyses some of these protocols and introduces two new device authenticationrnprotocols, verifies them using formal methods approach and discusses how they achieved desired securityrnproprieties. The performance analysis highlights another advantage of the proposed protocols.