Capability systems
Coyotos
Coyotos is a capability-based security-focused microkernel operating system developed by The EROS Group, LLC. It is a successor to the EROS system that was created at the University of Pennsylva...
Coyotos is a capability-based security-focused microkernel operating system developed by The EROS Group, LLC. It is a successor to the EROS system that was created at the University of Pennsylva...
E (programming language)
E is an object-oriented programming language for secure distributed computing, created by Mark S. Miller, Dan Bornstein, and others at Electric Communities in 1997.
E is an object-oriented programming language for secure distributed computing, created by Mark S. Miller, Dan Bornstein, and others at Electric Communities in 1997.
EROS (microkernel)
EROS (The Extremely Reliable Operating System) is an operating system developed by The EROS Group, LLC., the Johns Hopkins University, and the University of Pennsylvania.
EROS (The Extremely Reliable Operating System) is an operating system developed by The EROS Group, LLC., the Johns Hopkins University, and the University of Pennsylvania.
GNOSIS
GNOSIS (Great New Operating System In the Sky) is a capability-based operating system that was researched during the 1970s in Tymshare, Inc. It was based on the research of Norman Hardy, Dale E....
GNOSIS (Great New Operating System In the Sky) is a capability-based operating system that was researched during the 1970s in Tymshare, Inc. It was based on the research of Norman Hardy, Dale E....
HRU (security)
The HRU security model is an operating system level computer security model which deals with the integrity of access rights in the system.
The HRU security model is an operating system level computer security model which deals with the integrity of access rights in the system.
Joule (programming language)
Joule is a concurrent dataflow programming language, designed for building distributed applications.
Joule is a concurrent dataflow programming language, designed for building distributed applications.
KeyKOS
KeyKOS is a persistent, pure capability-based operating system for the IBM S/370 mainframe computers.
KeyKOS is a persistent, pure capability-based operating system for the IBM S/370 mainframe computers.
Settings