Michael Hicks Stephen Tse Boniface Hicks + Steve Zdancewic University of...  Home/Search
Context Related
| psu.edu/~phicks/jp...datingInfoFlow.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: psu.edu/~phicks/jp...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Applications that manipulate sensitive information should ensure end-to-end security by satisfying two properties: sound execution and some form of noninterference. By the former, we mean the program should always perform actions in keeping with its current policy, and by the latter we mean that these actions should never cause high-security information to be visible to a low-security observer. Over the last decade, securitytyped languages have been developed that exhibit these properties,... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Managing Policy Updates in Security-Typed Languages - Nikhil Swamy Michael (2006) (Correct)
Flow Locks - Towards Core Calculus (Correct)
Active bibliography (related documents): More All
0.5: Modular Software Upgrades for Distributed Systems - Sameer Ajmani Barbara (Correct)
0.3: Dynamic Security Labels and Noninterference - Zheng, Myers (2004) (Correct)
0.2: Owned Policies for Information Security - Chen, Chong (2004) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
Related documents from co-citation: More All
4: TALx86: A realistic typed assembly language - Morrisett, Crary et al. - 1999
4: Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
4: Security policies for downgrading (context) - Chong, Myers - 2004
BibTeX entry: (Update)
M. Hicks, S. Tse, B. Hicks, and S. Zdancewic. Dynamic updating of information-flow policies. In Proc. Foundations of Computer Security Workshop, 2005. http://citeseer.ist.psu.edu/hicks05dynamic.html More
@misc{ hicks05dynamic,
author = "M. Hicks and S. Tse and B. Hicks and S. Zdancewic",
title = "Dynamic updating of information-flow policies",
text = "M. Hicks, S. Tse, B. Hicks, and S. Zdancewic. Dynamic updating of information-flow
policies. In Proc. Foundations of Computer Security Workshop, 2005.",
year = "2005",
url = "citeseer.ist.psu.edu/hicks05dynamic.html" }
Citations (may not include all citations):170 Security policies and security models (context) - Goguen, Meseguer - 1982
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
132 Syntactic control of interference (context) - Reynolds - 1978
95 Language-based information-flow security - Sabelfeld, Myers - 2003
85 The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke - 1998
77 Unwinding and inference control (context) - Goguen, Meseguer - 1984
64 Types and Programming Languages (context) - Pierce - 2002
55 Security models and information flow - McLean - 1990
29 Robust declassification - Zdancewic, Myers - 2001
18 Generalized Certificate Revocation - Gunter, Jim - 2000
18 Mostly-static decentralized information flow control - Myers - 1999
15 Inheritance as implicit coercion - Breazu-Tannen, Coquand et al. - 1991
13 Run-time Principals in Information-flow Type Systems - Tse, Zdancewic - 2004
9 A method for fast revocation of public key certificates and .. (context) - Boneh, Ding et al. - 2001
7 Enforcing Robust Declassification - Myers, Sabelfeld et al. - 2004
5 Dynamic security labels and noninterference - Zheng, Myers - 2004
4 Dimensions and principles of declassification (context) - Sabelfeld, Sands - 2005
3 Controlled declassification based on intransitive noninterfe.. (context) - Mantel, Sands - 2004
2 Mutatis Mutandis: Safe and flexible dynamic software updatin.. (context) - Stoyle, Hicks et al. - 2005
Documents on the same site (http://www.cse.psu.edu/~phicks/jpmail/publications.html):
Managing Policy Updates in Security-Typed Languages - Nikhil Swamy Michael (2006) (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