Butler Lampson  Home/Search
Context Related
| purdue.edu/homes/jv...LampsonOSR74.pdf MichaelCovington.c...sonprotection.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: purdue.edu/homes/jv/smc...content (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Abstract models are given which reflect the properties of most existing mechanisms for enforcing protection or access control, together with some possible implementations. The properties of existing systems are explicated in terms of the model and implementations. Introduction `Protection' is a general term for all the mechanisms that control the access of a program to other things in the system. There is an immense variety of such mechanisms. Indeed, it is normal for a single system to have... (Update)
Cited by: More
IEEE June 2004 3 - Cover Feature Published (Correct)
The Control Structure of an Operating System - Gray Ibm Thomas (Correct)
IEEE July 2003 55 - Cover Feature Published (Correct)
Active bibliography (related documents): More All
0.4: The Multics Virtual Memory: Concepts and Design - Bensoussan, Clingen, Daley (1972) (Correct)
0.3: Personal Distributed Computing: The Alto and Ethernet Software - Lampson (1988) (Correct)
0.3: Reflections on an Operating System Design - Butler Lampson And (Correct)
Similar documents based on text: More All
0.0: How to Build a Highly Available System Without a Toolkit - Lampson (1995) (Correct)
0.0: On SDSI's Linked Local Name Spaces - Abadi (1997) (Correct)
0.0: Cv - Jahanzeb (Correct)
Related documents from co-citation: More All
8: Secure Computer Systems: Mathematical Foundations and Model (context) - Bell, LaPadula - 1973
7: Authentication in distributed systems: Theory and practice - Lampson, Abadi et al. - 1992
7: Role-Based Access Control Models - Sandhu - 1996
BibTeX entry: (Update)
Lampson B. W. "Protection." Fifth Princeton Conf on Info. and Systems Sciences, Pages: 437-443 http://citeseer.ist.psu.edu/287804.html More
@conference{ lampson71protection,
author = "Butler Lampson",
title = "Protection",
booktitle = "Proceedings of the 5th Annual Princeton Conference on Information Sciences and Systems",
address = "Princeton University",
pages = "437--443",
year = "1971",
url = "citeseer.ist.psu.edu/287804.html" }
Citations (may not include all citations):100 Programming semantics for multiprogrammed computation - Dennis, van Horn - 1966
31 The nucleus of a multiprogramming system (context) - Hansen - 1970
15 Time-Sharing Computer Systems (context) - Wilkes - 1968
11 Dynamic protection structures (context) - Lampson - 1969
8 Segmentation and the design of multiprogrammed computer syst.. (context) - Dennis - 1965
8 Security controls in the ADEPT-50 time-sharing system (context) - Weissman - 1969
7 The Compatible Time-Sharing System: A Programmer's Guide (context) - Crisman - 1965
5 A user machine in a time-sharing system - Lampson - 1966
1 The ADEPT-50 time-sharing system (context) - Linde - 1969
1 Controlled Information Sharing in a Computer Utility (context) - Vanderbilt - 1969
1 Implementation of the SHARER2 time-sharing system (context) - Harrison - 1968
1 Hardware aspects of secure computing (context) - Molho - 1970
1 Basic Machine Principles (context) - Illffe - 1968
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