ICTCS'02

Abstract

Boundary Inference for Enforcing Security Policies.
by Chiara Braghin, Agostino Cortesi, Riccardo Focardi and S. van Bakel.

The notion of ``boundary ambient'' has been recently introduced to model multilevel security policies in the scenario of mobile systems, within pure Mobile Ambients calculus. Information flow is defined in terms of the possibility for a confidential ambient/data to move outside a security boundary, and boundary crossings can be captured through a suitable Control Flow Analysis. We show that this approach can be further enhanced to infer which ambients should be ``protected'' to guarantee the lack of information leakage for a given process.

Appeared as:
@Inproceedings{BCFvB-ICTCS'02,
Author = "C. Braghin and A. Cortesi and Riccardo Focardi and Steffen van Bakel",
Title = "Boundary {I}nference for {E}nforcing {S}ecurity {P}olicies in {M}obile {A}mbient",
Booktitle = "Proceedings of 2nd IFIP International Conference on Theoretical Computer Science, August 25-30, 2002, Montreal, Canada",
Pages = "383-395",
Year = "2002"
}