Improving Security and Performance for Capability Systems

Improving Security and Performance for Capability Systems (1988)

Cached

Download Links

by Paul Ashley Karger

Citations:

BibTeX

@TECHREPORT{Karger88improvingsecurity,
    author = {Paul Ashley Karger},
    title = {Improving Security and Performance for Capability Systems},
    institution = {},
    year = {1988}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1404	How to share a secret - Shamir - 1979
890	Remote Procedure Call - Nelson - 1981
587	Cache Memories - Smith - 1982
537	The protection of information in computer systems - Saltzer, Schroeder - 1975
478	A lattice model of secure information flow - DENNING - 1976
411	The Unix time-sharing system - Ritchie, Thompson - 1974
395	Register allocation and spilling via graph coloring - Chaitin - 1982
366	Integrity considerations for secure computer systems - Biba - 1977
353	J.J.: Secure computer systems: mathematical foundations, Mitre technical report 2547 - Bell, Padula - 1973
343	A comparison of commercial and military computer security policies - Clark, Wilson - 1987
339	A note on the confinement problem - Lampson
321	Protection in operating systems - Harrison, Ruzzo, et al. - 1976
244	Sorting and Searching, volume 3 of The Art of Computer Programming - Knuth - 1973
237	Programming semantics for multiprogrammed computations - Dennis, Horn - 1966
229	Cache coherence protocols: evaluation using a multiprocessor simulation model - Archibald, Baer - 1986
191	Notes on Data Base Operating Systems - Gray - 1978
169	Global register allocation at link time - Wall - 1986
164	Reflections on trusting trust - Thompson - 1984
161	Capability-Based Computer Systems - Levy
154	Computer security technology planning study - Anderson - 1972
148	Firefly: A multiprocessor workstation - Thacker, Stewart, et al. - 1988
135	On the duality of operating systems structures - Lauer, Needham - 1978
135	The MULTICS System: An Examination of its Structure - Organick - 1972
133	Formal Models for Computer Security - Landwehr - 1981
120	A practical alternative to hierarchical integrity policies - Boebert, Kain - 1985
102	HYDRA/C.mmp: An Experimental Computer System - Wulf, Levin, et al. - 1981
96	Formal requirements for virtualizable third generation architectures - Popek, Goldberg - 1974
95	Register Allocation by Priority-based Coloring - Chow, Hennessy - 1984
91	The case for the reduced instruction set computer - Patterson, Ditzel - 1980
89	Social processes and the proofs of theorems and programs - DeMillo, Lipton, et al. - 1979
83	Computer Systems with a Very Large Address Space and Garbage Collection - Bishop - 1977
83	Capability-Based Addressing - Fabry - 1974
82	801 Storage: Architecture and Programming - Chang, Mergen - 1988
75	J.J.: Secure computer systems: a mathematical model, MITRE technical report 2547 - Bell, Padula - 1973
71	Synchronization with eventcounts and sequencers - Reed, Kanodia - 1979
70	A hardware architecture for implementing protection rings - Schroeder, Saltzer - 1972
59	Implementing a Cache Consistency Protocol - Katz, Eggers, et al. - 1985
59	The Soul of a New Machine - Kidder - 1981
55	The Cambridge CAP computer and its operating system - Wilkes, Needham - 1979
51	One-level storage system - Kilburn, Edwards, et al. - 1962
50	System - Anderson, Talman - 1956
48	The Cambridge Distributed Computing System - Needham, Herbert - 1982
43	Security Analysis and Enhancements of Computer Operating Systems - Abbott
42	Unix operating system security - Grampp, Morris - 1984
41	Non-discretionary controls for commercial applications - Lipner - 1982
39	An augmented capability architecture to support lattice security and traceability of access - Karger, Herbert - 1984
39	KSOS - The Design of a Secure Operating System - McCauley, Drongowski - 1979
38	Emer, ‘‘Performance of the VAX-11/780 Translation Buffer: Simulation and Measurement - Clark, S - 1985
38	Database Security and Integrity - Fernandez - 1980
35	Converting a swap-based system to do paging in an architecture lacking page-referenced bits - Babaoglu, Joy - 1981