Safe Ambients: Control Flow Analysis and Security

Authors:
Pierpaolo Degano;Francesca Levi;Chiara Bodei
Affiliations:
-;-;-
Venue:
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Year:
2000

Citing 7
Cited 11

A calculus of mobile processes, I

Information and Computation
Types for mobile ambients

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Shape analysis for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles of Program Analysis

Principles of Program Analysis
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure

Boxed Ambients

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Fully Abstract Model for Higher-Order Mobile Ambients

VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Types for Evolving Communication in Safe Ambients

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Complexity of Nesting Analysis in Mobile Ambients

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
An Abstract Interpretation Framework for Analysing Mobile Ambients

SAS '01 Proceedings of the 8th International Symposium on Static Analysis
A new occurrence counting analysis for bioambients

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
A parametric model for the analysis of mobile ambients

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Information flow security for interactive systems

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
An analysis for proving temporal properties of biological systems

APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Security boundaries in mobile ambients

Computer Languages, Systems and Structures
Nesting analysis of mobile ambients

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile Ambients. The analysis refines and computes an approximation of the run-time topology of processes. We use the result of the analysis to establish a secrecy property.