Modelling location reveal attacks in mobile systems

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

Research output: Contribution to journalArticle

Abstract

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
Volume48
Issue number1-2
Publication statusPublished - 2004

Fingerprint

Communication

Keywords

  • CSP
  • Formal analysis
  • IP mobility
  • Location hiding

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Modelling location reveal attacks in mobile systems. / Zömbik, László; Buttyán, L.

In: Periodica Polytechnica, Electrical Engineering, Vol. 48, No. 1-2, 2004, p. 85-100.

Research output: Contribution to journalArticle

@article{d39d7a13c8a44797a55362bb769987c2,
title = "Modelling location reveal attacks in mobile systems",
abstract = "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.",
keywords = "CSP, Formal analysis, IP mobility, Location hiding",
author = "L{\'a}szl{\'o} Z{\"o}mbik and L. Butty{\'a}n",
year = "2004",
language = "English",
volume = "48",
pages = "85--100",
journal = "Periodica polytechnica Electrical engineering and computer science",
issn = "2064-5260",
publisher = "Budapest University of Technology and Economics",
number = "1-2",

}

TY - JOUR

T1 - Modelling location reveal attacks in mobile systems

AU - Zömbik, László

AU - Buttyán, L.

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - CSP

KW - Formal analysis

KW - IP mobility

KW - Location hiding

UR - http://www.scopus.com/inward/record.url?scp=10444275321&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=10444275321&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:10444275321

VL - 48

SP - 85

EP - 100

JO - Periodica polytechnica Electrical engineering and computer science

JF - Periodica polytechnica Electrical engineering and computer science

SN - 2064-5260

IS - 1-2

ER -