We present two main contributions: (i) an encoding of Boxed Ambients into a variant of Safe Ambients; (ii) a new Control Flow Analysis for Safe Ambients. Then, we show that the analysis, when applied to the encoded processes, permits to accurately verify Mandatory Access Control policies of the source processes
We introduce a Control Flow Analysis that statically approximates the dynamic behaviour of mobile pr...
Boxed Ambients are a variant of Mobile Ambients that result from dropping the `open' capability, and...
A multilevel security policy is considered in the scenario of mobile systems, and modeled within "pu...
We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile ...
AbstractWe study the problem of secure information flow for Boxed Ambients in terms of non-interfere...
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...
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...
Boxed Ambients (BA) replace Mobile Ambients' `open' capability with communication primitives acting ...
Boxed Ambients are a variant of Mobile Ambients that result from dropping the open capability and in...
Boxed Ambients (BA) replace Mobile Ambients’ open capability with communication primitives acting ac...
AbstractA variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supportin...
We introduce a Control Flow Analysis that statically approximates the dynamic behaviour of mobile pr...
Boxed Ambients are a variant of Mobile Ambients that result from dropping the `open' capability, and...
A multilevel security policy is considered in the scenario of mobile systems, and modeled within "pu...
We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile ...
AbstractWe study the problem of secure information flow for Boxed Ambients in terms of non-interfere...
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...
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...
Boxed Ambients (BA) replace Mobile Ambients' `open' capability with communication primitives acting ...
Boxed Ambients are a variant of Mobile Ambients that result from dropping the open capability and in...
Boxed Ambients (BA) replace Mobile Ambients’ open capability with communication primitives acting ac...
AbstractA variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supportin...
We introduce a Control Flow Analysis that statically approximates the dynamic behaviour of mobile pr...
Boxed Ambients are a variant of Mobile Ambients that result from dropping the `open' capability, and...
A multilevel security policy is considered in the scenario of mobile systems, and modeled within "pu...
DOI
Add to ORKG