Object Capability Model
Implementation Notable research and commercial systems employing capability-based security include the following:
- Tahoe-LAFS, an open-source capability-based filesystem
- GNOSIS, an operating system developed at Tymshare
- KeyKOS, successor to GNOSIS
- EROS, The Extremely Reliable Operating System, successor to KeyKOS
- CapROS, a project to further develop the EROS code base for commercial use
- EROS, The Extremely Reliable Operating System, successor to KeyKOS
- KeyKOS, successor to GNOSIS
- Cambridge CAP computer
- Hydra (operating system), part of the C.mmp project at Carnegie Mellon University
- StarOS, part of the CM* project at Carnegie Mellon University
- IBM System/38 and AS/400
- Intel iAPX 432
- Plessey System 250
- Flex
- L4 microkernel family:
- OKL4 from Open Kernel Labs
- seL4 from NICTA
- Fiasco.OC and NOVA from TU Dresden
- Amoeba distributed operating system
- FreeBSD Capsicum[3][4]
- Genode[5]
- Google Fuchsia[6]
- WebAssembly System Interface (WASI)
Backlinks