Flow-sensitive Leakage Analysis in Mobile Ambients

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 May 2005 Italy English Publisher:Elsevier BVJournal:Electronic Notes in Theoretical Computer Science, volume 128, pages 17-25 (issn: 1571-0661,

Copyright policy )

Authors: C. BRAGHIN; CORTESI, Agostino;

doi: 10.1016/j.entcs.2004.11.039

handle: 10278/29048

Flow-sensitive Leakage Analysis in Mobile Ambients

- Summary
- Subjects
- Metrics

Abstract

AbstractIn 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.

Country

Italy

Related Organizations

Ca Foscari University of Venice
Italy

Keywords

Information Flow, Static Analysis, Security, Ambient Calculus, Ambient Calculus; Information Flow; Security; Static Analysis, Theoretical Computer Science, Computer Science(all)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average