Search
Menu
Home
Sources
About
Contacts
Capability-based operating system
Capability-based
operating system
generally refers to an
operating
system
that uses
capability-based security
.
Examples
include:
Hydra
KeyKOS
EROS
CapROS
Midori
*
Genode
Fuchsia
Control
Program
Facility