Butler W. Lampson  Home/Search
Context Related
| purdue.edu/homes/j...LampsonCACM73.pdf stanford.edu/~manku/...73confine.ps.gz microsoft.com/lampson/1...Postscript.ps 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: purdue.edu/homes/jv/smc...content (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This not explores the problem of confining a program during its execution so that it cannot transmit information to any other program except its caller. A set of examples attempts to stake out the boundaries of the problem. Necessary conditions for a solution are stated and informally justified. (Update)
Cited by: More
RIFLE: An Architectural Framework for User-Centric - Information-Flow Security Neil (Correct)
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
The Program Counter Security Model: Automatic Detection and - Removal Of Control-Flow (Correct)
Active bibliography (related documents): More All
0.1: Reflections on an Operating System Design - Butler Lampson And (Correct)
0.1: The Control Structure of an Operating System - Gray Ibm Thomas (Correct)
0.1: Secure Computer Systems: Mathematical Foundations - November An Electronic (Correct)
Similar documents based on text: More All
0.3: Programming R. Morris - Techniques Editor Technique (Correct)
0.1: Audio-Visual Speech Recognition Using . . . - Lewis, Powers (2003) (Correct)
0.1: Design of Secure End-to-End Protocols for Mobile Systems - Varadharajan, Mu (1996) (Correct)
Related documents from co-citation: More All
30: Securecomputer system: Unified exposition and multics interpretation (context) - Bell, LaPadula - 1975
26: A lattice model of secure information flow (context) - Denning - 1976
16: A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
BibTeX entry: (Update)
B.W. Lampson, "A Note on the Confinement Problem", CACM on Operating Systems, Vol.16, No.10, October, 1973. http://citeseer.ist.psu.edu/lampson73note.html More
@article{ lampson73note,
author = "Butler W. Lampson",
title = "A Note on the Confinement Problem",
journal = "Communications of the ACM",
volume = "16",
number = "10",
pages = "613-615",
year = "1973",
url = "citeseer.ist.psu.edu/lampson73note.html" }
Citations (may not include all citations):25 A Hardware Architecture for implementing protection rings (context) - NI, Saitzer - 1972
11 Dynamic protection structures (context) - Lampson - 1969
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.purdue.edu/homes/jv/smc/bib/content.html): More
Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999) (Correct)
Compiling with Proofs - Necula (1998) (Correct)
History-based Access Control for Mobile Code - Edjlali, Acharya, Chaudhary (1998) (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