Andrew C. Myers, Barbara Liskov  Home/Search
Context Related
| purdue.edu/homes/tzhao/./se...labels.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: purdue.edu/homes/tzhao/ref (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is intended to directly address privacy and secrecy concerns, but most information flow models are too restrictive to be widely used. The decentralized label model is a new information flow model that extends traditional models with per-principal information flow policies and also permits a safe form of declassification.... (Update)
Context of citations to this paper: More
...supplied data. Attempts to accommodate downgrading in end to end policies have been an active area of research. Myers and Liskov [4] [106] introduce a decentralized model of security labels in which selective declassification is permitted, controlled based on a static...
Cited by: More
Information Flow Control among Objects: Taking Foreign Objects.. - Chou (2003) (Correct)
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
Similar documents (at the sentence level):
65.6%: Complete, Safe Information Flow with Decentralized Labels - Myers, Liskov (1998) (Correct)
19.6%: Mostly-Static Decentralized Information Flow Control - Myers (1999) (Correct)
Active bibliography (related documents): More All
0.8: A Decentralized Model for Information Flow Control - Myers, Liskov (1997) (Correct)
0.4: JFlow: Practical Mostly-Static Information Flow Control - Myers (1999) (Correct)
0.1: Confidentiality and Integrity with Untrusted Hosts - Steve Zdancewic Andrew (Correct)
Similar documents based on text: More All
0.5: Robust Declassification - Zdancewic, Myers (2001) (Correct)
0.2: Protecting Privacy using the Decentralized Label Model - Myers, Liskov (2000) (Correct)
0.2: A Trusted Execution Platform for Multiparty Computation - Ajmani (2000) (Correct)
Related documents from co-citation: More All
4: Probabilistic noninterference in a concurrent language - Volpano, Smith - 1998
4: A Per model of secure information flow in sequential programs - Sabelfeld, Sands - 1998
4: A semantic approach to secure information flow - Rustan, Leino et al. - 1998
BibTeX entry: (Update)
A. C. Myers and B. Liskov, "Complete, safe information flow with decentralized labels," in Proc. IEEE Symp. on Security and Privacy, May 1998, pp. 186--197. http://citeseer.ist.psu.edu/myers98complete.html More
@inproceedings{ myers98complete,
author = "Myers and Liskov",
title = "Complete, Safe Information Flow with Decentralized Labels",
booktitle = "{RSP}: 19th {IEEE} Computer Society Symposium on Research in Security and Privacy",
year = "1998",
url = "citeseer.ist.psu.edu/myers98complete.html" }
Citations (may not include all citations):265 Secure computer system: Unified exposition and Multics inter.. (context) - Bell, LaPadula - 1975
196 A lattice model of secure information flow (context) - Denning - 1976
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
93 The Chinese wall security policy (context) - Brewer, Nash - 1989
85 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998
54 An axiomatic approach to information flow in programs (context) - Andrews, Reitman - 1980
45 Elements of style: Analyzing a software design feature with .. (context) - Jackson, Damon - 1996
39 Protection and the control of information sharing in Multics (context) - Saltzer - 1974
24 Secrecy by typing in security protocols (context) - Abadi - 1997
20 Trust in the -calculus (context) - Palsberg, rbk - 1995
20 CACL: Efficient fine-grained protection for objects (context) - Richardson, Schwarz et al. - 1992
16 A language extension for expressing constraints on data acce.. (context) - Jones, Liskov - 1978
16 Multilevel security in the UNIX tradition - McIlroy, Reeds - 1992
16 Provably-secure programming languages for remote evaluation - Volpano - 1997
13 Providing flexibility in information flow control for object.. - Ferrari, Samarati et al. - 1997
11 A decentralized model for information flow control - Myers, Liskov - 1997
10 A taxonomy for information flow policies and models (context) - Foley - 1991
8 Beyond the pale of MAC and DAC --- defining new forms of acc.. (context) - McCollum, Messing et al. - 1990
4 A comparison of commerical and military computer security po.. (context) - Clark, Wilson - 1987
Documents on the same site (http://www.cs.purdue.edu/homes/tzhao/ref.html): More
Type Inference in Systems of Recursive Types With Subtyping - Jim, Palsberg (1999) (Correct)
From Polyvariant Flow Information to Intersection and Union.. - Palsberg, Pavlopoulou (2000) (Correct)
A Core Calculus of Dependency - Abadi, Banerjee, Heintze, Riecke (1999) (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