Dennis Volpano, Geoffrey Smith, et al.  Home/Search
Context Related
| sri.com/~volpano/languages/p...jcs.ps.Z navy.mil/pub/irvine/jcs.ps.Z navy.mil/research/languages/...jcs.ps.Z 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: sri.com/~volpano/languages/pap... (more) From: navy.mil/people/fa...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Ensuring secure information flow within programs in the context of multiple sensitivity levels has been widely studied. Especially noteworthy is Denning's work in secure flow analysis and the lattice model [6][7]. Until now, however, the soundness of Denning's analysis has not been established satisfactorily. We formulate Denning's approach as a type system and present a notion of soundness for the system that can be viewed as a form of noninterference. Soundness is established by proving, with ... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
A Monadic Analysis of Information Flow Security with Mutable.. - Karl Crary Aleksey (Correct)
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Active bibliography (related documents): More All
0.6: A PER Model of Secure Information Flow in Sequential Programs - Sabelfeld, Sands (1998) (Correct)
0.5: Secure Flow Typing - Volpano, Irvine (1997) (Correct)
0.4: Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
Similar documents based on text: More All
0.4: Secure Information Flow and Pointer Confinement in a.. - Banerjee, Naumann (2002) (Correct)
0.3: Pertitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (1999) (Correct)
0.3: Weak Probabilistic Bisimulation for Secure Information Flow - Smith (2001) (Correct)
Related documents from co-citation: More All
59: Certification of programs for secure information flow (context) - Denning, Denning - 1977
47: A lattice model of secure information flow (context) - Denning - 1976
47: Secure information flow in a multi-threaded imperative language - Volpano, Smith - 1998
BibTeX entry: (Update)
D. Volpano, G. Smith, and C. Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):1--21, 1996. http://citeseer.ist.psu.edu/volpano96sound.html More
@article{ volpano96sound,
author = "Dennis Volpano and Geoffrey Smith and Cynthia Irvine",
title = "A Sound Type System for Secure Flow Analysis",
journal = "Journal of Computer Security",
volume = "4",
number = "3",
pages = "167--187",
year = "1996",
url = "citeseer.ist.psu.edu/volpano96sound.html" }
Citations (may not include all citations):362 ML for the Working Programmer (context) - Paulson - 1991 ACM
244 Cryptography and Data Security (context) - Denning - 1983 ACM DBLP
196 A Lattice Model of Secure Information Flow (context) - Denning - 1976 ACM DBLP
170 Security Policies and Security Models (context) - Goguen, Meseguer - 1982 DBLP
158 Certification of Programs for Secure Information Flow (context) - Denning, Denning - 1977 ACM DBLP
155 Secure Computer System: Mathematical Foundations and Model (context) - Bell, LaPadula - 1973
120 Integrity Considerations for Secure Computer Systems (context) - Biba - 1977
70 Preliminary Design of the Programming Language Forsythe (context) - Reynolds - 1988
60 Specifications for Multi-level Security and a Hook-up Proper.. (context) - McCullough - 1987 DBLP
55 Security Models and Information Flow - McLean - 1990 DBLP
54 An Axiomatic Approach to Information Flow in Programs (context) - Andrews, Reitman - 1980 ACM DBLP
52 A Simplified Account of Polymorphic References - Harper - 1994
45 Noninterference and the Composability of Security Properties (context) - McCullough - 1988
40 Compile-time Detection of Information Flow in Sequential Pro.. - Banatre, Bryce et al. - 1994 ACM DBLP
30 A Security Flow Control Algorithm and its Denotational Seman.. - Mizuno, Schmidt - 1992 DBLP
22 Secure Information Flow in Computer Systems (context) - Denning - 1975
20 Trust in the -calculus (context) - Palsberg, Orbaek - 1995
12 Information Flow Control in a Distributed ObjectOriented Sys.. - Mizuno, Oldehoeft - 1987
7 A Least Fixed Point Approach to Inter-Procedural Information.. - Mizuno - 1989
4 Secure Distributed Data Views Security Policy and Interpreta.. (context) - Lunt, Neumann et al. - 1989
2 Can You Trust Your Data (context) - Orbaek - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csl.sri.com/~volpano/languages/papers/atsc/): More
Haskell-style Overloading is NP-hard - Volpano (Correct)
Probabilistic Noninterference in a Concurrent Language - Volpano, Smith (1998) (Correct)
Secure Flow Typing - Volpano, Irvine (1997) (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