A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Flow-sensitive Leakage Analysis in Mobile Ambients
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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