Sciweavers

FSTTCS
2005
Springer

Non-disclosure for Distributed Mobile Code

14 years 5 months ago
Non-disclosure for Distributed Mobile Code
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new forms of security leaks, which we call migration leaks, introduced by code mobility. We present a generalization of the non-disclosure policy [AB05] to networks, and a type and effect system for enforcing it. We consider an imperative higher-order lambdacalculus with concurrent threads and a flow declaration construct, enriched with a notion of domain and a standard migration primitive.
Ana Almeida Matos
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FSTTCS
Authors Ana Almeida Matos
Comments (0)