In the context of global computing, information flow security must deal with the decentralized nature of security policies. This issue is particularly challenging when programs are given the flexibility to perform declassifying instructions. We point out potential unwanted behaviors that can arise in a context where such programs can migrate between computation domains with different security policies. We propose programming language techniques for tackling such unwanted behaviors, and prove soundness of those techniques at the global computation level. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Almeida Matos, A. (2009). Flow policy awareness for distributed mobile code. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5710 LNCS, pp. 53–68). https://doi.org/10.1007/978-3-642-04081-8_5
Mendeley helps you to discover research relevant for your work.