Andrew C. Myers  Home/Search
Context Related
Links: DBLP | purdue.edu/homes/jv/s...MyersPOPL99.ps mit.edu/papers/pop...myerspopl99.ps.gz 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 Problem Downloading? From: purdue.edu/homes/jv/smc...content (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work has proposed programming language extensions to allow this static checking, the resulting languages are too restrictive for practical use and have not been implemented. In this paper, we describe the new language JFlow, an extension to the Java language that adds statically-checked information flow annotations. JFlow... (Update)
Cited by: More
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
Improving Software Reliability in Data-centered.. - Desmet, Piessens.. (Correct)
Similar documents (at the sentence level):
25.7%: Mostly-Static Decentralized Information Flow Control - Myers (1999) (Correct)
Active bibliography (related documents): More All
0.4: Complete, Safe Information Flow with Decentralized Labels - Myers, Liskov (1998) (Correct)
0.4: A Decentralized Model for Information Flow Control - Myers, Liskov (1997) (Correct)
0.3: A Generic Worklist Algorithm for Graph Reachability Problems in.. - Rayside (2001) (Correct)
Similar documents based on text: More All
0.2: Patterns of Workflow Management Facility - Manolescu, Johnson (1998) (Correct)
0.1: ALSO: A Language for Extensible Multi-user Systems - Myers (Correct)
0.1: Fast Object Operations in a Persistent Programming System - Myers (1994) (Correct)
Related documents from co-citation: More All
47: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
40: Certification of programs for secure information flow (context) - Denning, Denning - 1977
36: A Core Calculus of Dependency - Abadi, Banerjee et al. - 1999
BibTeX entry: (Update)
Andrew C. Myers. JFlow: Practical mostly-static information flow control. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), San Antonio, TX, USA, January 1999. http://citeseer.ist.psu.edu/myers99jflow.html More
@inproceedings{ myers99jflow,
author = "Andrew C. Myers",
title = "{JFlow}: Practical Mostly-Static Information Flow Control",
booktitle = "Symposium on Principles of Programming Languages",
pages = "228-241",
year = "1999",
url = "citeseer.ist.psu.edu/myers99jflow.html" }
Citations (may not include all citations):380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
265 Secure computer system: Unified exposition and Multics inter.. (context) - Bell, LaPadula - 1975
196 A lattice model of secure information flow (context) - Denning - 1976 ACM DBLP
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977 ACM DBLP
153 A note on the confinement problem - Lampson - 1973 ACM DBLP
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996 ACM
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998 ACM DBLP
85 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998 DBLP
55 A decentralized model for information flow control - Myers, Liskov - 1997 ACM DBLP
54 An axiomatic approach to information flow in programs (context) - Andrews, Reitman - 1980 ACM DBLP
51 Cryptography and Data Security (context) - Denning - 1982 ACM DBLP
33 Parameterized types for Java (context) - Myers, Bank et al. - 1997 ACM DBLP
28 Tractable constraints in finite semilattices - Rehof, Mogensen - 1996 ACM DBLP
25 safe information flow with decentralized labels (context) - Myers, Liskov - 1998
24 Secrecy by typing in security protocols (context) - Abadi - 1997 ACM
22 Dynamic typing in a statically typed language (context) - Abadi, Cardelli et al. - 1991 ACM DBLP
20 CACL: Efficient fine-grained protection for objects (context) - Richardson, Schwarz et al. - 1992 DBLP
20 Trust in the - calculus (context) - Palsberg, rbk - 1995
18 Mostly-Static Decentralized Information Flow Control - Myers - 1999 ACM
17 An efficient general iterative algorithm for dataflow analys.. (context) - Horwitz, Demers et al. - 1987 ACM DBLP
16 A language extension for expressing constraints on data acce.. (context) - Jones, Liskov - 1978 ACM DBLP
16 Provably-secure programming languages for remote evaluation - Volpano - 1997 ACM DBLP
10 Access flow: A protection model which integrates access cont.. (context) - Stoughton - 1981
8 Beyond the pale of MAC and DAC --- defining new forms of acc.. (context) - McCollum, Messing et al. - 1990
3 Worklist management strategies for dataflow analysis (context) - Kanamori, Weise - 1994
2 PolyJ: Parameterized types for Java (context) - Liskov, Mathewson et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.purdue.edu/homes/jv/smc/bib/content.html): More
Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999) (Correct)
Compiling with Proofs - Necula (1998) (Correct)
History-based Access Control for Mobile Code - Edjlali, Acharya, Chaudhary (1998) (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