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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.entcs.2004.11.039 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
temporal dependency,ambient calculus,static analysis,run-time topology,capabilities application,information flow security,mobile ambient,security,information flow,mobile ambients,control flow analysis,safe approximation,flow-sensitive leakage analysis,information flow. | Information flow (information theory),Leakage (electronics),Computer science,Flow (psychology),Static analysis,Theoretical computer science,Control flow analysis,Ambient calculus,Distributed computing | Journal |
Volume | Issue | ISSN |
128 | 5 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
1 | 0.34 | 14 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chiara Braghin | 1 | 105 | 8.86 |
Agostino Cortesi | 2 | 791 | 66.19 |