Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

18 relations
C-list (computer security)CapROSCapability-based operating systemCapability-based security

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
Chaperones and impersonators provide run-time support for interposing on primitive operations such as function calls, array… 
Highly Cited
2004
Highly Cited
2004
Towards a Verified , General-Purpose Operating System Kernel †
Operating system kernels are complex, critical, and difficult to test systems. The imperative nature of operating system… 
2002
2002
Design Evolution of the EROS Single-Level Store
File systems have (at least) two undesirable characteristics: both the addressing model and the consistency semantics differ from… 
Highly Cited
2002
Highly Cited
2002
EROS: A Principle-Driven Operating System from the Ground Up
Design principles are one of the most advocated ideas in software construction, but they are rarely systematically applied. They… 
1993
1993
Object-Oriented Transaction Processing in the KeyKOS Microkernel
Three major technological directions in computer technology are transaction processing, object orientation, and microkernel… 
Highly Cited
1992
Highly Cited
1992
The KeyKOS Nanokernel Architecture
The KeyKOS nanokernel is a capability-based object-oriented operating system that has been in production use since 1983. Its… 
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… 
1986
1986
Security In Keykos™
KeyKOS™** is a capability-based system which was designed to meet the performance, reliability, and security goals of the… 
Highly Cited
1985
Highly Cited
1985
KeyKOS architecture
This paper introduces the Architecture of KeyKOS ~M* , a capability-based operating system for the I B M System 13 70. We attempt… 
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… 
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)