Dear all, I am glad to announce a paper which builds on ideas from my 2000 Master's Thesis "Analisi statiche per la mobilita'" and from Francesa Levi's experience on Safe Ambients. The paper is to appear in the Proceedings of SAS'01. Title: An Abstract Interpretation Framework for Analysing Mobile Ambients Author: Francesca Levi & Sergio Maffeis 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. The paper is also available through http://www.di.unipi.it/~maffeis/aiamb.ps. Comments are welcome! Regards, Sergio. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The "models for mobility" mailing list mailto:moca@xxxxxxxxxxxxxxx http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html
Attachment:
aiamb.ps
Description: PostScript document