Peter Sewell Computer Laboratory, University of Cambridge, England...  Home/Search
Context Related
| cl.cam.ac.uk/~pes20/wraptr.ps Cached: PS.gz PS 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.
PDF Image Update HelpPS.gz PS From: cl.cam.ac.uk/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller components that interact in intricate ways. Some components will be downloaded from the network from sources that are only partially trusted. A user would like to know that a number of security properties hold, e.g. that personal data is not leaked to the net, but it is typically infeasible to verify that such components... (Update)
Cited by: More
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (Correct)
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (Correct)
Similar documents (at the sentence level):
38.0%: Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
21.9%: Secure Composition of Untrusted Code: Box π, Wrappers, and.. - Sewell, Vitek (2002) (Correct)
10.2%: Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (2000) (Correct)
Active bibliography (related documents): More All
0.1: Location-Independent Communication for Mobile Agents.. - Sewell.. (1998) (Correct)
0.1: Towards Abstractions for Distributed Systems - Berger (2000) (Correct)
0.1: A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
32: Mobile ambients - Cardelli, Gordon - 1998
27: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
21: A typed language for distributed mobile processes - Riely, Hennessy - 1998
BibTeX entry: (Update)
@inproceedings{ sewell99secure,
author = "Sewell and Vitek",
title = "Secure Composition of Insecure Components",
booktitle = "{PCSFW}: Proceedings of The 12th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "1999",
url = "citeseer.ist.psu.edu/article/sewell99secure.html" }
Citations (may not include all citations):115 An asynchronous model of locality (context) - Amadio - 1997
61 Localities and failures - Amadio, Prasad - 1994
30 A calculus for cryptographic protocols: The spi calculus (context) - Abadi, Gordon - 1997 DBLP
24 Secrecy by typing in security protocols (context) - Abadi - 1997 ACM
19 Secure implementation of channel abstractions - Abadi, edric et al. - 1998 ACM DBLP
11 and Davide Sangiorgi (context) - Amadio, Castellani - 1996
7 INRIA So a-Antipolis (context) - erard, Asynchrony et al. - 1992
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