Peter Sewell, Jan Vitek  Home/Search
Context Related
| cl.cam.ac.uk/~pes20/wrapcsfw.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: 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 are... (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):
70.7%: Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
20.0%: Secure Composition of Untrusted Code: Box π, Wrappers, and.. - Sewell, Vitek (2002) (Correct)
11.1%: Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (2000) (Correct)
Active bibliography (related documents): More All
0.6: Location-Independent Communication for Mobile Agents.. - Sewell.. (1998) (Correct)
0.4: Confined Types - Bokowski, Vitek (1999) (Correct)
0.3: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (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)
Peter Sewell and Jan Vitek. Secure composition of insecure components. In Proceedings of the 12th IEEE Computer Security Foundations Workshop (CSFW-12), Mordano, Italy, June 1999. http://citeseer.ist.psu.edu/sewell99secure.html More
@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/sewell99secure.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
410 Mobile ambients - Cardelli, Gordon - 1998
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
175 A secure environment for untrusted helper applications - Goldberg, Wagner et al. - 1996
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
158 Secrecy by typing in security protocols - Abadi - 1997
153 A note on the confinement problem - Lampson - 1973
152 A sound type system for secure flow analysis - Volpano, Irvine et al. - 1996
144 Models for concurrency - Winskel, Nielsen - 1995
126 Types for mobile ambients - Cardelli, Gordon - 1999
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
115 An asynchronous model of locality (context) - Amadio - 1997
102 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
100 Interposition agents: Transparently interposing user code at.. - Jones - 1999
92 Microkernels meet recursive virtual machines - Ford, Hibler et al. - 1996
74 untrusted agents using proofcarrying code (context) - Necula, Lee - 1998
66 Enforceable security policies - Schneider - 1998
61 Localities and failures - Amadio, Prasad - 1994
54 Using CSP to detect Errors in the TMN Protocol - Lowe, Roscoe - 1997
52 Security models - McLean - 1994
47 On bisimulations for the asynchronous -calculus - Amadio, Castellani et al. - 1996
46 Secure implementation of channel abstractions - Abadi, Fournet et al. - 1998
46 Java operating systems: Design and implementation - Back, Tullmann et al. - 1998
45 Locationindependent communication for mobile agents: a two-l.. - Sewell, Wojciechowski et al. - 1998
42 Globallocal subtyping and capability inference distributed .. - local, capability et al. - 1998
38 Type-safe execution of mobile agents in anonymous networks - Hennessy, Riely - 1998
32 Location independence for mobile agents - Sewell, Wojciechowski et al. - 1998
31 Java security architecture (context) - Gong - 1997
25 safe information flow with decentralized labels (context) - Myers, Liskov - 1998
18 INRIA Sofia-Antipolis (context) - Boudol, the et al. - 1992
13 Towards a calculus of mobile computations (context) - Vitek, Castagna - 1998
10 Secure mobile code: the javaseal experiment - Vitek, Bryce - 1999
9 A flexible security system for using Internet content (context) - Islam, Anand et al. - 1997
9 Confinement properties for programming languages - Volpano, Smith - 1998
8 Jflow: Practical static information flow control (context) - Myers - 1999
5 Mobile Agents and Hostile Hosts (context) - Vitek, Castagna - 1999
3 A brief introduction to applied (context) - Sewell - 1999
2 Globallocal subtyping distributed calculu (context) - local, distributed et al. - 1997
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