Safe ambients: Control flow analysis and security
| Author(s) : | Chiara Bodei Francesca Levi Pierpaolo Degano, |
| Publisher : | N/A |
| Publication Date : | 1961 |
| ISSN : | N/A |
| Abstract : | Abstract. We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile Ambients. The analysis renes [12] and computes an approximation of the run-time topology of processes. We use the result of the analysis to establish a secrecy property. 1, |