Confidentiality Analysis of Mobile Systems
Abstract
We propose an abstract interpretation-based analysis for automatically detecting all potential interactions between the agents of a part of a mobile system, without much knowledge about the rest of it.