Modelling location reveal attacks in mobile systems

László Zömbik, Levente Buttyán

Research output: Article


We propose a novel approach for the modelling and discovery of location reveal attacks in mobile environments. Our approach is based on the theory of Communicating Sequential Processes (CSP). We demonstrate the power of our approach by analysing the MIPv4 protocol and by showing that it does not protect the location information of the mobile node appropriately. In order to solve this problem we specify which communications should be encrypted within MIPv4. The so specified protocols were verified using our CSP-based model, and they were found secure.

Original languageEnglish
Pages (from-to)85-100
Number of pages16
JournalPeriodica Polytechnica Electrical Engineering
Issue number1-2
Publication statusPublished - jan. 1 2004


ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this