An Abstract Interpretation Framework for Analysing Mobile Ambients

Francesca Levi and Sergio Maffeis

To appear at Static Analysis Symposium (SAS01), Paris, France, 16-18 July 2001


Abstract

We introduce an abstract interpretation framework for Mobile Ambients, based on a new fixed-point semantics. Then, we derive within this setting two analyses computing a safe approximation of a property about the run-time topological structure of processes which is relevant to security.


Server START Conference Manager
Update Time 31 Mar 2001 at 16:55:39
Maintainer sas01@ens.fr.
Start Conference Manager
Conference Systems