Information-Flow Security Neil Vachharajani Matthew J. Bridges Jonathan Chang ...  Home/Search
Context
Related
| umich.edu/~jblome/pubs/micro37.pdf 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: umich.edu/~jblome/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Even as modern computing systems allow the manipulation and distribution of massive amounts of information, users of these systems are unable to manage the confidentiality of their data in a practical fashion. Conventional access control security mechanisms cannot prevent the illegitimate use of privileged data once access is granted. For example, information provided by a user during an online purchase may be covertly delivered to malicious third parties by an untrustworthy web browser.... (Update)
Active bibliography (related documents): More All
3.0: RIFLE: An Architectural Framework for User-Centric - Neil (Correct)
0.2: Orthonormal Vector Sets Regularization with PDE's and.. - Tschumperle, Deriche (2002) (Correct)
0.2: Mostly-Static Decentralized Information Flow Control - Myers (1999) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ neil-rifle,
author = "Information-Flow Security Neil",
title = "RIFLE: An Architectural Framework for User-Centric",
url = "citeseer.ist.psu.edu/764898.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
566 Proof-carrying code - Necula - 1997
196 A lattice model of secure information flow (context) - Denning - 1976
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977
153 A note on the confinement problem - Lampson - 1973
102 The SLam calculus: programming with secrecy and integrity - Heintze, Riecke - 1998
98 JFlow: Practical mostly-static information flow control - Myers - 1999
95 Language-based information-flow security - Sabelfeld, Myers - 2003
82 A formal model of program dependences and its implications f.. (context) - Podgurski, Clarke - 1990
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
64 Memory dependence prediction using store sets - Chrysos, Emer - 1998
63 A secure and reliable bootstrap architecture - Arbaugh, Farber et al. - 1997
55 A decentralized model for information flow control - Myers, Liskov - 1997
54 Architectural support for copy and tamper resistant software - Lie, Thekkath et al. - 2000
41 Protecting privacy using the decentralized label model - Myers, Liskov - 2000
39 Modular interprocedural pointer analysis using access paths:.. - Cheng, Hwu - 2000
29 Aegis: architecture for tamper-evident and tamper-resistant .. - Suh, Clarke et al. - 2003
25 Automated recovery in a secure bootstrap process - Arbaugh, Keromytis et al. - 1998
23 Mondrian memory protection - Witchel, Cates et al. - 2002
22 An analysis of covert timing channels (context) - Wray - 2004
22 Microarchitectural exploration with Liberty - Vachharajani, Vachharajani et al. - 2002
17 Analyzing memory accesses in x86 executables - Balakrishnan, Reps - 2004
14 Information Protection Systems (context) - Fenton - 1973
13 Run-time principals in information-flow type systems - Tse, Zdancewic - 2004
11 ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
10 A taxonomy for information flow policies and models (context) - Foley - 1991
7 Implementing an untrusted operating system on trusted hardwa.. - Lie, Thekkath et al. - 2003
6 Effective context-sensitive pointer analysis for C programs (context) - Wilson, Lam - 1995
4 Web site httpwww (context) - site, lavasoftusa et al. - 2004
3 A hardware architecture for controlling information flow (context) - Saal, Gat - 1978
3 comtechnologysecuritydownload LT Arch Overview (context) - Web, www et al. - 2004
3 Web site httpwww (context) - Platform, site et al. - 2004
3 Web site httpmsdn (context) - Web, msdn et al. - 2004
3 the importance of pointsto analysis and other memory disambi.. (context) - Ghiya, Lavery et al. - 2001
Documents on the same site (http://www.eecs.umich.edu/~jblome/pubs.html): More
The Liberty Simulation Environment: A Deliberate - Approach To High-Level (Correct)
Jason Blome - Personal Information University (Correct)
The Liberty Simulation Environment, Version 1.0 - Manish Vachharajani Neil (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