Flow-sensitive Leakage Analysis in Mobile Ambients

Authors:
Chiara Braghin;Agostino Cortesi
Affiliations:
Dipartimento di Informatica, Università Ca' Foscari di Venezia, Venice, Italy;Dipartimento di Informatica, Università Ca' Foscari di Venezia, Venice, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 9
Cited 1

Mobile ambients

Theoretical Computer Science
Principles of Program Analysis

Principles of Program Analysis
Mobile safe ambients

ACM Transactions on Programming Languages and Systems (TOPLAS)
Flow logic for Dolev-Yao secrecy in cryptographic processes

Future Generation Computer Systems - Parallel computing technologies (PaCT-2001)
Boxed Ambients

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Shape analysis for mobile ambients

Nordic Journal of Computing
Abstract interpretation of mobile ambients

Science of Computer Programming - Special issue on static analysis (SAS'99)
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Security boundaries in mobile ambients

Computer Languages, Systems and Structures

Formalising security in ubiquitous and cloud scenarios

CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management

Quantified Score

Hi-index	0.00

Visualization

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.