Flow-sensitive Leakage Analysis in Mobile Ambients

Chiara Braghin, Agostino Cortesi
2005 Electronical Notes in Theoretical Computer Science  
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.
doi:10.1016/j.entcs.2004.11.039 fatcat:u6thfqfzkbhnvf36uja2oj5aye