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

Mahdi Aiash. A formal analysis of authentication protocols for mobile devices in next generation networks. Concurrency - Practice and Experience, 27(12):2938-2953, 2015. [doi]

Abstract

Abstract is missing.