Information Flow Security for Boxed Ambients
Silvia Crafà, Michele Bugliesi, Giuseppe Castagna · Electronic Notes in Theoretical Computer Science · 2002
We study the problem of secure information flow for Boxed Ambients in terms of non-interference. We develop a sound type system that provides static guarantees of absence of unwanted flow of information for well typed processes. Non-interference is stated, and proved, in terms of a typed notion of contextual equivalence for Boxed Ambients akin to the corresponding equivalence defined for Mobile Ambients.