Peter Sewell, Jan Vitek  Home/Search
Context Related
| cl.cam.ac.uk/~pes20/wraptypes.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider the problem of assembling concurrent software systems from untrusted or partially trusted off-theshelf components, using wrapper programs to encapsulate components and enforce security policies. In previous work we introduced the box- process calculus with constrained interaction to express wrappers and discussed the rigorous formulation of their security properties. This paper addresses the verication of wrapper information ow properties. We present a novel causal type system... (Update)
Cited by: More
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (Correct)
Separating Interaction Concerns from Distributed Feature.. - Pang, Blair (2003) (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
Similar documents (at the sentence level):
74.7%: Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (2000) (Correct)
62.3%: Secure Composition of Untrusted Code: Box π, Wrappers, and.. - Sewell, Vitek (2002) (Correct)
9.8%: Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Active bibliography (related documents): More All
0.1: Secure Implementation of Channel Abstractions - Abadi, Fournet (1999) (Correct)
0.0: A Distributed π-Calculus with Local Areas of Communication - Chothia, Stark (2001) (Correct)
0.0: The Local Area π-Calculus - Chothia (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
17: Mobile ambients - Cardelli, Gordon - 1998
13: Secure composition of insecure components - Sewell, Vitek - 1999
10: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
BibTeX entry: (Update)
Peter Sewell and Jan Vitek. Secure composition of untrusted code: Wrappers and causality types. Technical Report 478, Computer Laboratory, University of Cambridge, November 1999. http://citeseer.ist.psu.edu/article/sewell99secure.html More
@inproceedings{ sewell00secure,
author = "Sewell and Vitek",
title = "Secure Composition of Untrusted Code: Wrappers and Causality Types",
booktitle = "{PCSFW}: Proceedings of The 13th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "2000",
url = "citeseer.ist.psu.edu/article/sewell99secure.html" }
Citations (may not include all citations):231 A theory of communicating sequential processes (context) - Brookes, Hoare et al. - 1984
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
63 Hardening COTS software with generic software wrappers - Fraser, Badger et al. - 1999
45 Asynchrony and the -calculus (context) - Boudol - 1992
31 Causality for mobile processes - Degano, Priami - 1995
28 Mobile ambients (context) - Cardelli, Gordon - 1998
19 Secure implementation of channel abstractions - Abadi, Fournet et al. - 1998
6 A fully abstract semantics for causality in the pi-calculus - Boreale, Sangiorgi - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/~pes20/): More
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC