Steve Zdancewic, Andrew C. Myers  Home/Search
Context Related
| cornell.edu/zdance/splat_tr.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: cornell.edu/zdance/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Several security-typed languages have recently been proposed to enforce security properties such as confidentiality or integrity by type checking. We propose a new security-typed language, Spl@, that addresses two important limitations of previous approaches. First, existing languages assume that the underlying execution platform is trusted; this assumption does not scale to distributed computation in which a variety of diffierently trusted hosts are available to execute programs. Our new... (Update)
Context of citations to this paper: More
...and programs in the image of the translation satisfy this property. This type system is sound with respect to the operational semantics [36]. The proof is, for the most part, standard, following in the style of Wright and Felleisen [35] We simply state the lemmas necessary...
...network. Such requirements are known as information flow properties, and work is being carried out on type systems that certify them [19, 36, 27]. 3 ConCert Architecture A chief property of our architecture is decentralization. A decentralized grid allows us to use idle...
Cited by: More
Project Description - We Propose To (Correct)
Confidentiality and Integrity with Untrusted Hosts - Steve Zdancewic Andrew (Correct)
Secure Information Flow and CPS - Zdancewic, Myers (2001) (Correct)
Active bibliography (related documents): More All
0.4: Secure Program Partitioning - Zdancewic, Zheng, Nystrom, Myers (2002) (Correct)
0.4: Untrusted Hosts and Confidentiality: Secure Program.. - Zdancewic, Zheng.. (2001) (Correct)
0.3: Mostly-Static Decentralized Information Flow Control - Myers (1999) (Correct)
Similar documents based on text: More All
0.8: Secure Information Flow via Linear Continuations - Zdancewic, Myers (2001) (Correct)
0.5: Robust Declassification - Zdancewic, Myers (2001) (Correct)
0.4: Using Replication and Partitioning to Build Secure.. - Zheng, Chong, Myers, .. (2003) (Correct)
Related documents from co-citation: More All
6: A syntactic approach to type soundness - Wright, Felleisen - 1991
6: The SLam calculus: Programming with secrecy and integrity - Heintz, Riecke - 1998
6: Proof-carrying code - Necula - 1997
BibTeX entry: (Update)
Steve Zdancewic and Andrew C. Myers. Confidentiality and integrity with untrusted hosts. http://citeseer.ist.psu.edu/article/zdancewic00confidentiality.html More
@misc{ zdancewic-confidentiality,
author = "S. Zdancewic and A. Myers",
title = "Confidentiality and integrity with untrusted hosts",
text = "Steve Zdancewic and Andrew C. Myers. Confidentiality and integrity with
untrusted hosts.",
url = "citeseer.ist.psu.edu/article/zdancewic00confidentiality.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1997
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
306 A syntactic approach to type soundness - Wright, Felleisen - 1992
264 A language with distributed scope - Cardelli - 1995
233 Computational interpretations of linear logic - Abramsky - 1993
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
196 A lattice model of secure information flow (context) - Denning - 1976
184 Linear types can change the world - Wadler - 1990
170 Security policies and security models (context) - Goguen, Meseguer - 1982
158 Certification of Programs for Secure Information Flow (context) - Denning, Denning - 1977
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
152 A sound type system for secure flow analysis - Volpano, rey et al. - 1996
148 Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
139 Secure information flow in a multi-threaded imperative langu.. - rey, Dennis - 1998
121 A core calculus of dependency - Abadi, Banerjee et al. - 1999
98 JFlow: Practical mostly-static information flow control - Myers - 1999
85 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
82 Department of Defense Trusted Computer System Evaluation Cri.. (context) - Defense - 1985
77 Unwinding and inference control (context) - Goguen, Meseguer - 1984
75 Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1999
59 Transforming out timing leaks - Agat - 2000
55 A decentralized model for information flow control - Myers, Liskov - 1997
43 A taste of linear logic - Wadler - 1993
41 Protecting privacy using the decentralized label model - Myers, Liskov - 2000
33 The Java Virtual Machine (context) - Lindholm, Yellin - 1996
28 Linear continuations - Filinski - 1992
25 Proving multilevel security of a system design (context) - Feiertag, Levitt et al. - 1977
24 A comparison of two distributed systems: Amoeba and sprite - Douglis, Ousterhout et al. - 1991
16 Multilevel security in the UNIX tradition - McIlroy, Reeds - 1992
15 Memoryless subsystems (context) - Fenton - 1974
14 Information Protection Systems (context) - Fenton - 1973
12 OMG TC Document Number (context) - Common, Broker et al. - 1991
6 Confidentiality and integrity with untrusted hosts - Zdancewic, Myers
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