Object-capability systems

From Erights

Revision as of 02:52, 17 March 2018 by Markm (Talk | contribs)
Jump to: navigation, search

These are all capability systems, but not all are ocap systems.

Substrate Historical System System
Hardware CMNM, Plessey 250, CAP, C.mmp, CM*, Flex, IBM System/38, Intel 432 Crash-SAFE, CHERI, Risc-V
OS DVH, Hydra, StarOS, RATS, Cal-TSS, PSOS, NLTSS, Spring Capsicum, CloudABI, Genode, Barrelfish, Fuchsia
KeyKOS family OS Gnosis, KeyKOS, GuardOS, EROS, CapROS, Coyotos seL4
Distributed OS Ameoba, Mach, Midori
Language Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict, Plash Monte, Frozen Realms, shill, Wyvern, wasm-gc
Distributed Language Act-1, Eden, Emerald, Vulcan, Joule, E, Oz-E, M# Pony, Kappa, Dr.SES
Distributed Storage Scoopfs Tahoe-LAFS
Crypto Protocol DCCS, CapTP, Foolscap, Client Utility, Waterken COAST, Cap’n Proto
Offline Certs SPKI/SDSI, E-Speak, CapCert Macaroons, ld-ocap
Blockchain Gravity, Dfinity, RChain, Cosmos, Veres One, Sovrin, Agoric Systems
User Interface CapDesk, Scoopfs, Belay Sandstorm
Personal tools
more tools