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.
|Number of pages||16|
|Journal||Periodica Polytechnica Electrical Engineering|
|Publication status||Published - jan. 1 2004|
ASJC Scopus subject areas
- Electrical and Electronic Engineering