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 verify correctly in our CSP based model.