Security boundaries in mobile ambients

A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ambients calculus. Information leakage may be expressed in terms of the possibility for a hostile ambient to access con

• Type: Journal
• Year: 2002
• Where: CL
• Authors: Chiara Braghin, Agostino Cortesi, Riccardo Focardi
• Keywords: Automated Reasoning, CL 2002, Information Leakage, Multilevel Security Policies, Security Boundary