Dennis Volpano, Cynthia Irvine  Home/Search
Context Related
| sri.com/~volpano/languag...compsec.ps.Z navy.mil/pub/irvine/compsec97.ps.Z navy.mil/research/langua...compsec.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: Some of the most promising work in the area of enforcing secure information flow in programs is based on static analyses of source code. However, as yet, these efforts have not had much impact in practice. We present a new approach to analyzing programs statically for secrecy and integrity flow violations. The analysis is characterized as a form of type inference in a secure flow type system. The type system provides a uniform framework for traditional type checking of programs and information... (Update)
Context of citations to this paper: More
.... y is permissible iff security class(x) security class(y) The function security class(x) returns the security class of variable x [87]. It should be possible to extend the safety policy described in this dissertation, Region : Category : Access] to include a flow policy...
Cited by: More
Safety-Checking of Machine Code - Xu (2001) (Correct)
Active bibliography (related documents): More All
0.5: A Sound Type System For Secure Flow Analysis - Volpano, Smith, al. (1996) (Correct)
0.2: Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (Correct)
0.2: Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998) (Correct)
Similar documents based on text: More All
0.2: Formalization and Proof of Secrecy Properties - Volpano (1999) (Correct)
0.2: The MFPS XV Security Session - Meadows, Volpano (1999) (Correct)
0.2: Teaching Introductory Computer Security at a Department of .. - Irvine, Stemp, Warren (1997) (Correct)
Related documents from co-citation: More All
2: interface guide (context) - Kelly, Maslov et al. - 1996
2: Towards Fault-tolerant and Secure Agentry - Schneider - 1997
2: Information flow control in object-oriented systems (context) - Samarati, Bertino et al.
BibTeX entry: (Update)
D. Volpano, C. Irvine. Secure Flow Typing. Computer & Security 16, 2 (1997). http://citeseer.ist.psu.edu/volpano97secure.html More
@misc{ volpano97secure,
author = "D. Volpano and C. Irvine",
title = "Secure Flow Typing",
text = "D. Volpano, C. Irvine. Secure Flow Typing. Computer & Security 16, 2 (1997).",
year = "1997",
url = "citeseer.ist.psu.edu/volpano97secure.html" }
Citations (may not include all citations):196 A Lattice Model of Secure Information Flow (context) - Denning - 1976
158 Certification of Programs for Secure Information Flow (context) - Denning, Denning - 1977
155 Secure Computer System: Mathematical Foundations and Model (context) - Bell, LaPadula - 1973
152 A Sound Type System for Secure Flow Analysis - Volpano, Smith et al. - 1996
120 Integrity Considerations for Secure Computer Systems (context) - Biba - 1977
54 An Axiomatic Approach to Information Flow in Programs (context) - Andrews, Reitman - 1980
40 Compile-time Detection of Information Flow in Sequential Pro.. - Banatre, Bryce et al. - 1994
30 A Security Flow Control Algorithm and its Denotational Seman.. - Mizuno, Schmidt - 1992
30 Lower Bounds on Type Inference with Subtypes (context) - Hoang, Mitchell - 1995
22 Secure Information Flow in Computer Systems (context) - Denning - 1975
9 Hooked on Java (context) - van Hoff, Shaio et al. - 1996
8 Polymorphic Type Inference for Languages with Overloading an.. (context) - Smith - 1991
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
1 A Software Validation Technique for Certification: The Metho.. (context) - Bell, Burke - 1974
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)
Lower Bounds on Type Checking Overloading - Volpano (1996) (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