C. Gbaguidi, S. Staamann, U. Wilhelm, L. Buttyán|
A Note on an Authentication Technique Based on Distributed Security Management for the Global Mobility Network
EPFL-DI-ICA, 1998, no. SSC/98/18, April.
keywords: authentication protocol, belief logic, verification
abstract In this paper, we analyse the authentication protocol that has been proposed for the so called global mobility network in the October 1997 issue of the IEEE Journal on Selected Areas in Communications. Using a simple logic of authentication, we show that the protocol has flaws, and we present three different attacks that exploit these. We correct the protocol using a simple design tool that we have developed.