Paper Info
Title
Control flow analysis of mobile ambients with security boundaries
Abstract
A multilevel security policy is considered in the scenario of mobile systems, and modeled within "pure" Mobile Ambients calculus, in which no communication channels are present and the only possible actions are represented by the moves performed by mobile processes. The information flow property of interest is defined in terms of the possibility for a confidential ambient/data to move outside a security boundary. In a previous paper, we gave a very simple syntactic property that is sufficient to imply the absence of unwanted information flows. In this paper, a control flow analysis is defined, as a refinement of the Hansen-Jensen-Nielsons's CFA, that allows to capture boundary crossings with better accuracy.
Year
DOI
Venue
2002
10.1007/978-0-387-35496-5_14
FMOODS
Keywords
Field
DocType
information flow property,mobile process,simple syntactic property,control flow analysis,multilevel security policy,security boundary,boundary crossing,mobile ambients,previous paper,unwanted information flow,mobile system,communication channels,security,static analysis
Information flow (information theory),Confidentiality,Computer science,Multilevel security,Static analysis,Communication channel,Theoretical computer science,Control flow analysis,Syntax,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-7923-7683-8
14
0.70
References 
Authors
10
3
Name
Order
Citations
PageRank
Chiara Braghin11058.86
Agostino Cortesi279166.19
Riccardo Focardi3122999.99