Industrial connections
  Activity reports
  Contact information
  Meeting information
magyar · english
  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.