Loading...
Please wait, while we are loading the content...
Similar Documents
Secure Information Flow for Distributed Programming Languages
| Content Provider | CiteSeerX |
|---|---|
| Author | Conchon, Sylvain Rocquencourt, Inria |
| Abstract | We present a generic framework to extend type systems of distributed programming languages with information-flow annotations that ensure a noninterference property based on bisimulation. The new systems thus obtained can detect, for instance, information flow caused by contentions on distributed resources, which are not detected in a satisfactory way by using testing equivalences. Furthermore, our method of adding security annotations readily supports modern typing features, such as polymorphism and type reconstruction, together with a noninterference proof. We formalize our work within the Join-Calculus, a process calculus used as a core of distributed languages. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Type Reconstruction Process Calculus Information Flow Secure Information Flow Distributed Programming Language Security Annotation Noninterference Proof Distributed Resource Generic Framework Distributed Language Modern Typing Feature Satisfactory Way Information-flow Annotation New System Noninterference Property |
| Content Type | Text |
