Flow-sensitive Leakage Analysis in Mobile Ambients☆

https://doi.org/10.1016/j.entcs.2004.11.039Get rights and content
Under a Creative Commons license
open access

Abstract

In this paper, we present a refinement of a Control Flow Analysis aimed at studying information flow security in the the calculus of Mobile Ambients. The improvements are achieved by making the analysis be flow-sensitive: the analysis is able to keep track of temporal dependencies of capabilities application when computing a safe approximation of the run-time topology of Mobile Ambient processes.

Keywords

Static Analysis
Ambient Calculus
Security
Information Flow

Cited by (0)

☆

Partially supported by MIUR Project “AIDA Abstract Interpretation: Design and Applications”, the EU Contract IST-2001-32617 “MyThS”, and the FIRB project (RBAU018RCZ) “Interpretazione astratta e model checking per la verifica di sistemi embedded”.

Copyright © 2005 Elsevier B.V.