Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,024,893 papers from all fields of science
Search
Sign In
Create Free Account
KeyKOS
KeyKOS is a persistent, pure capability-based operating system for the IBM S/370 mainframe computers. It allows emulating the VM, MVS, and POSIX…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
C-list (computer security)
CapROS
Capability-based operating system
Capability-based security
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Chaperones and impersonators: run-time support for reasonable interposition
T. Strickland
,
Sam Tobin-Hochstadt
,
R. Findler
,
M. Flatt
Conference on Object-Oriented Programming Systems…
2012
Corpus ID: 6315754
Chaperones and impersonators provide run-time support for interposing on primitive operations such as function calls, array…
Expand
Highly Cited
2004
Highly Cited
2004
Towards a Verified , General-Purpose Operating System Kernel †
J. Shapiro
,
Michael Scott Doerrie
,
Eric Northup
,
S. Sridhar
,
Markus S. Miller
2004
Corpus ID: 15013886
Operating system kernels are complex, critical, and difficult to test systems. The imperative nature of operating system…
Expand
2002
2002
Design Evolution of the EROS Single-Level Store
J. Shapiro
,
Jonathan Adams
USENIX Annual Technical Conference, General Track
2002
Corpus ID: 5854908
File systems have (at least) two undesirable characteristics: both the addressing model and the consistency semantics differ from…
Expand
Highly Cited
2002
Highly Cited
2002
EROS: A Principle-Driven Operating System from the Ground Up
J. Shapiro
,
N. Hardy
IEEE Software
2002
Corpus ID: 7038658
Design principles are one of the most advocated ideas in software construction, but they are rarely systematically applied. They…
Expand
1993
1993
Object-Oriented Transaction Processing in the KeyKOS Microkernel
W. S. Frantz
,
C. R. Landau
USENIX Microkernels and Other Kernel…
1993
Corpus ID: 40465998
Three major technological directions in computer technology are transaction processing, object orientation, and microkernel…
Expand
Highly Cited
1992
Highly Cited
1992
The KeyKOS Nanokernel Architecture
Allen C. Bomberger
,
W. S. Frantz
,
Ann C. Hardy
,
N. Hardy
,
C. R. Landau
,
J. Shapiro
USENIX Workshop on Microkernels and Other Kernel…
1992
Corpus ID: 2684885
The KeyKOS nanokernel is a capability-based object-oriented operating system that has been in production use since 1983. Its…
Expand
Highly Cited
1992
Highly Cited
1992
The checkpoint mechanism in KeyKOS
C. R. Landau
[] Proceedings of the Second International…
1992
Corpus ID: 62628485
KeyKOS is an object-oriented microkernel operating system. KeyKOS achieves persistence of objects by taking frequent system-wide…
Expand
1986
1986
Security In Keykos™
S. A. Rajunas
,
N. Hardy
,
Allen C. Bomberger
,
W. S. Frantz
,
C. R. Landau
IEEE Symposium on Security and Privacy
1986
Corpus ID: 14092433
KeyKOS™** is a capability-based system which was designed to meet the performance, reliability, and security goals of the…
Expand
Highly Cited
1985
Highly Cited
1985
KeyKOS architecture
N. Hardy
OPSR
1985
Corpus ID: 9738920
This paper introduces the Architecture of KeyKOS ~M* , a capability-based operating system for the I B M System 13 70. We attempt…
Expand
1985
1985
KeyKOS OSR Paper
1985
Corpus ID: 12237683
Largely because of an attempt at conciseness, but also be cause of the compactness of KeyKOS and the mutual re liance of the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE