We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile Ambients. The analysis refines [12] and computes an approximation of the run-time topology of processes. We use the result of the analysis to establish a secrecy property
A variant of Mobile Ambient Calculus is introduced, called Boundary Ambient, to model multilevel sec...
We introduce an abstract interpretation framework for Mobile Ambients, based on a new semantics call...
AbstractThe ambient calculus is a calculus of computation that allows active processes to communicat...
In this paper, we present a refinement of a Control Flow Analysis aimed at studying information flow...
AbstractIn this paper, we present a refinement of a Control Flow Analysis aimed at studying informat...
We present two main contributions: (i) an encoding of Boxed Ambients into a variant of Safe Ambients...
A multilevel security policy is considered in the scenario of mobile systems, and modeled within "pu...
We introduce a Control Flow Analysis that statically approximates the dynamic behaviour of mobile pr...
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the mo...
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the mo...
AbstractA variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supportin...
We introduce a Control Flow Analysis, improving the one in [6], that statically approximates the dyn...
(eng) Safe Ambients (SA) are a variant of the Ambient Calculus (AC) in which types can be used to av...
A new notion of security boundary is introduced to model multilevel security policies in the scenari...
The {\em Ambient Calculus} and the {\em Safe Ambient Calculus} have been recently successfully propo...
A variant of Mobile Ambient Calculus is introduced, called Boundary Ambient, to model multilevel sec...
We introduce an abstract interpretation framework for Mobile Ambients, based on a new semantics call...
AbstractThe ambient calculus is a calculus of computation that allows active processes to communicat...
In this paper, we present a refinement of a Control Flow Analysis aimed at studying information flow...
AbstractIn this paper, we present a refinement of a Control Flow Analysis aimed at studying informat...
We present two main contributions: (i) an encoding of Boxed Ambients into a variant of Safe Ambients...
A multilevel security policy is considered in the scenario of mobile systems, and modeled within "pu...
We introduce a Control Flow Analysis that statically approximates the dynamic behaviour of mobile pr...
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the mo...
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the mo...
AbstractA variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supportin...
We introduce a Control Flow Analysis, improving the one in [6], that statically approximates the dyn...
(eng) Safe Ambients (SA) are a variant of the Ambient Calculus (AC) in which types can be used to av...
A new notion of security boundary is introduced to model multilevel security policies in the scenari...
The {\em Ambient Calculus} and the {\em Safe Ambient Calculus} have been recently successfully propo...
A variant of Mobile Ambient Calculus is introduced, called Boundary Ambient, to model multilevel sec...
We introduce an abstract interpretation framework for Mobile Ambients, based on a new semantics call...
AbstractThe ambient calculus is a calculus of computation that allows active processes to communicat...
DOI
Add to ORKG