Andrew C. Myers  Home/Search
Context Related
Links: ACM | cornell.edu/andru/release...tr783.ps.gz mit.edu/publicatio...MITLCSTR783.pdf mit.edu/publicatio...TLCSTR783.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 From: mit.edu/~andru/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The growing use of mobile code in downloaded programs such as applets and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Common security mechanisms such as sandboxing and access control are either too restrictive or too weak---they prevent applications from sharing data usefully, or allow private information to leak. For example, security mechanisms in Java prevent many useful applications while still permitting Trojan horse applets to leak private... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Dynamic Updating of Information-Flow Policies - Michael Hicks Stephen (2005) (Correct)
First Steps Toward a Cryptography-Aware Language and Compiler - Barbosa, Noad, Page, Smart (2005) (Correct)
Similar documents (at the sentence level):
5.1%: Protecting Privacy using the Decentralized Label Model - Myers, Liskov (2000) (Correct)
5.0%: JFlow: Practical Mostly-Static Information Flow Control - Myers (1999) (Correct)
Active bibliography (related documents): More All
0.6: A New Approach to Mobile Code Security - Wallach (1999) (Correct)
0.6: A Decentralized Model for Information Flow Control - Myers, Liskov (1997) (Correct)
0.6: Complete, Safe Information Flow with Decentralized Labels - Myers, Liskov (1998) (Correct)
Similar documents based on text: More All
0.4: Robust Declassification - Zdancewic, Myers (2001) (Correct)
0.3: Reducing Synchronization Overhead in Parallel Simulation - Legedza (1995) (Correct)
0.1: A Trusted Execution Platform for Multiparty Computation - Ajmani (2000) (Correct)
Related documents from co-citation: More All
7: Information flow inference for ML - Pottier, Simonet - 2002
7: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
6: Language-Based Information-Flow Security - Sabelfeld, Myers - 2003
BibTeX entry: (Update)
A. C. Myers. Mostly-Static Decentralized Information Flow Control. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, Jan. 1999. http://citeseer.ist.psu.edu/205675.html More
@techreport{ myers99mostlystatic,
author = "A. Myers",
title = "Mostly-Static Decentralized Information Flow Control",
number = "MIT/LCS/TR-783",
pages = "177",
year = "1999",
url = "citeseer.ist.psu.edu/205675.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990 ACM
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
566 Proof-carrying code - Necula - 1997 ACM DBLP
461 Programming Language (context) - Stoustrup - 1987
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
317 Kerberos: An authentication service for open network systems - Steiner, Neuman et al. - 1988 DBLP
315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991 ACM DBLP
265 Secure computer system: Unified exposition and Multics inter.. (context) - Bell, LaPadula - 1975
253 Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1991 DBLP
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997 DBLP
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
196 A lattice model of secure information flow (context) - Denning - 1976 ACM DBLP
173 A comparison of commercial and military computer security po.. (context) - Clark, Wilson - 1987 DBLP
162 A calculus for access control in distributed systems - Abadi, Burrows et al. - 1993 ACM DBLP
158 Certification of Programs for Secure Information Flow (context) - Denning, Denning - 1977
158 Secrecy by typing in security protocols - Abadi - 1997 ACM
156 A unified approach to global program optimization (context) - Kildall - 1973 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
120 Integrity considerations for secure computer systems (context) - Biba - 1977
118 Extensible security architectures for Java - Wallach, Balfanz et al. - 1997 ACM
118 Role-based access controls - Ferraiolo, Kuhn - 1992 ACM
100 Programming semantics for multiprogrammed computations - Dennis, VanHorn - 1966 ACM DBLP
98 JFlow: Practical mostly-static information flow control - Myers - 1999 DBLP
93 The Chinese Wall security policy (context) - Brewer, Nash - 1989 DBLP
93 Global data flow analysis and iterative algorithms (context) - Kam, Ullman - 1976 ACM DBLP
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
89 Systems Programming with Modula (context) - Nelson - 1991
85 The SLam calculus: Programming with secrecy and integrity - Heintze, Riecke - 1998 DBLP
82 Department of Defense Trusted Computer System Evaluation Cri.. (context) - Defense - 1985
77 Unwinding and inference control (context) - Goguen, Meseguer - 1984 DBLP
73 Role-based access control models - Sandhu, Coyne et al. - 1996 ACM DBLP
69 Proving Java type soundness - Syme - 1997 ACM DBLP
66 Java Security: Hostile Applets (context) - McGraw, Felten - 1996
66 Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991 ACM DBLP
61 Where Clauses: Constraining Parametric Polymorphism (context) - Day, Gruber et al. - 1995
56 Java is type safe -- probably - Drossopoulou, Eisenbach - 1997
56 Ssh -- secure login connections over the Internet - Ylonen - 1996
55 Security models and information flow - McLean - 1990 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 Understanding Java stack inspection - Wallach, Felten - 1998
51 Cryptography and Data Security (context) - Denning - 1982
45 Elements of style: Analyzing a software design feature with .. (context) - Jackson, Damon - 1996 DBLP
41 Programming Methodology Group Memo (context) - Liskov, Curtis et al. - 1994
39 Protection and the control of information sharing in Multics (context) - Saltzer - 1974 ACM DBLP
39 Implementing protection domains in the Java Development Kit - Gong, Schemers - 1998
33 Parameterized types for Java (context) - Myers, Bank et al. - 1997 ACM DBLP
33 The Java Virtual Machine (context) - Lindholm, Yellin - 1996
30 Java light is type-safe---definitely - Nipkow, von Oheimb - 1998
28 Tractable constraints in finite semilattices - Rehof, ff - 1996 ACM DBLP
26 Linear-time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984
25 safe information flow with decentralized labels (context) - Myers, Liskov - 1998
25 Proving multilevel security of a system design (context) - Feiertag, Levitt et al. - 1977 ACM DBLP
23 Role hierarchies and constraints for lattice-based access co.. - Sandhu - 1996 ACM DBLP
22 Secure Information Flow in Computer Systems (context) - Denning - 1975
20 CACL: Efficient fine-grained protection for objects (context) - Richardson, Schwarz et al. - 1992 DBLP
19 A technique for proving specifications are multilevel secure (context) - Feiertag - 1980
17 An efficient general iterative algorithm for dataflow analys.. (context) - Horwitz, Demers et al. - 1987
16 Provably-secure programming languages for remote evaluation - Volpano - 1997 ACM DBLP
16 A lattice interpretation of the Chinese Wall policy - Sandhu - 1992
16 Multilevel security in the UNIX tradition - McIlroy, Reeds - 1992 ACM DBLP
16 A language extension for expressing constraints on data acce.. (context) - Jones, Liskov - 1978 ACM DBLP
15 Memoryless subsystems (context) - Fenton - 1974 DBLP
14 Information Protection Systems (context) - Fenton - 1973
14 Security kernel validation in practice (context) - Millen - 1976 ACM DBLP
13 Providing flexibility in information flow control for object.. - Ferrari, Samarati et al. - 1997
10 A taxonomy for information flow policies and models (context) - Foley - 1991
10 Access flow: A protection model which integrates access cont.. (context) - Stoughton - 1981
10 Covert channel capacity (context) - Millen - 1987 DBLP
9 Replacing personally-identifying information in medical reco.. (context) - Sweeney - 1996
8 Beyond the pale of MAC and DAC---defining new forms of acces.. (context) - McCollum, Messing et al. - 1990
8 Information flow analysis of formal specifications (context) - Millen - 1981
7 Technical report (context) - Fritzinger, Mueller - 1996
7 Generalizing data to provide anonymity when disclosing infor.. (context) - Samarati, Sweeney - 1998
7 Reasoning about security models (context) - McLean - 1988 DBLP
6 The enforcement of security policies for computation (context) - Jones, Lipton - 1975 ACM DBLP
4 Trust-Based Security for Java (context) - Corporation - 1997
4 HYDRA: The kernel of a multiprocessor system (context) - Wulf, Cohen et al. - 1974
3 Worklist management strategies for dataflow analysis (context) - Kanamori, Weise - 1994
3 Introduction to the Capabilities Classes (context) - Corporation - 1997
2 the formal definition of separationof -duty policies and the.. (context) - Gligor, Gavrila et al. - 1998
2 PolyJ: Parameterized types for Java (context) - Liskov, Mathewson et al. - 1998
2 new' security model (context) - Terry, Wiseman - 1989
1 A mechanism for information control in parallel programs (context) - Reitman - 1979
The graph only includes citing articles where the year of publication is known.
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