Steve Zdancewic, Andrew C. Myers  Home/Search
Context Related
| upenn.edu/~stevez/papers/./ZM01b.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: upenn.edu/~stevez/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Security properties based on information flow, such as noninterference, provide strong guarantees that confidentiality is maintained. However, programs often need to leak some amount of confidential information in order to serve their intended purpose, and thus violate noninterference. Real systems that control information flow often include mechanisms for downgrading or declassifying information; however, declassification can easily result in the unexpected release of confidential information. (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
A Monadic Analysis of Information Flow Security with Mutable .. - Cmu-Cs- School Of (Correct)
Similar documents (at the sentence level):
79.4%: Robust Declassification - Zdancewic, Myers (2001) (Correct)
Active bibliography (related documents): More All
0.4: A Type System for Robust Declassification - Zdancewic (2003) (Correct)
0.4: Enforcing Robust Declassification - Myers, al. (2004) (Correct)
0.4: Observational Determinism for Concurrent Program Security - Zdancewic, Myers (2003) (Correct)
Similar documents based on text: More All
0.5: Protecting Privacy using the Decentralized Label Model - Myers, Liskov (2000) (Correct)
0.5: Complete, Safe Information Flow with Decentralized Labels - Myers, Liskov (1998) (Correct)
0.5: Confidentiality and Integrity with Untrusted Hosts - Zdancewic, Myers (2000) (Correct)
Related documents from co-citation: More All
23: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
20: Language-Based Information-Flow Security - Sabelfeld, Myers - 2003
16: A Core Calculus of Dependency - Abadi, Banerjee et al. - 1999
BibTeX entry: (Update)
Steve Zdancewic and Andrew C. Myers. Robust declassification. In Proceedings of 14th IEEE Computer Security Foundations Workshop, pages 15--23, Cape Breton, Nova Scotia, Canada, June 2001. http://citeseer.ist.psu.edu/zdancewic01robust.html More
@misc{ zdancewic01robust,
author = "S. Zdancewic and A. Myers",
title = "Robust declassification",
text = "Steve Zdancewic and Andrew C. Myers. Robust declassification. In Proceedings
of 14th IEEE Computer Security Foundations Workshop, pages 15--23, Cape
Breton, Nova Scotia, Canada, June 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/zdancewic01robust.html" }
Citations (may not include all citations):404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1999
170 Security policies and security models (context) - Goguen, Meseguer - 1982
168 ACM Transactions on Programming Languages and Systems (context) - Abadi, Lamport - 1992
98 JFlow: Practical mostly-static information flow control - Myers - 1999
98 Security properties and CSP - Schneider - 1996
95 Forward and backward simulations -- Part I: Untimed systems - Lynch, Vaandrager - 1995
77 Unwinding and inference control (context) - Goguen, Meseguer - 1984
41 Protecting privacy using the decentralized label model - Myers, Liskov - 2000
25 safe information flow with decentralized labels (context) - Myers, Liskov - 1998
20 What is intransitive noninterference - Roscoe, Goldsmith - 1999
17 Unwinding possibilistic security properties - Mantel - 2000
16 Absorbing covers and intransitive noninterference (context) - Pinsky - 1995
13 Providing flexibility in information flow control for object.. - Ferrari, Samarati et al. - 1997
12 Possibilistic definitions of security: An assembly kit (context) - Mantel - 2000
10 transitivity and channel-control security policies (context) - Rushby - 1992
8 A CSP formulation of non-interference and unwinding (context) - Ryan - 1991
7 A state-based approach to non-interference (context) - Bevier, Young - 1994
4 Connection policies and controlled interference (context) - Bevier, Cohen et al. - 1995
4 A general theory of security properties and secure compositi.. (context) - Zakinthinos, Lee - 1997
2 Unwinding forward correctibility (context) - Millen - 1994
2 A lattice of information (context) - Landauer, Redmond - 1993
2 Three logics for branching simulation (context) - De Nicola, Vaandrager - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~stevez/papers/publications.html): More
Principals in Programming Languages: Technical Results - Zdancewic, Grossman (1999) (Correct)
Secure Program Partitioning - Zdancewic, Zheng, Nystrom, Myers (2002) (Correct)
Secure Information Flow via Linear Continuations - Zdancewic, Myers (2002) (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