Object-capability systems

(Difference between revisions)

Revision as of 06:09, 11 March 2018

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

Substrate	Historical System	System
Hardware	Plessey 250, CAP, C.mmp, CM*, IBM System/38, Intel 432	CHERI, Risc-V
OS	DVH, Hydra, StarOS, Cal-TSS, PSOS, NLTSS, Spring	Capsicum, CloudABI, 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	Monte, Frozen Realms, shill, Wyvern, wasm-gc
Distributed Language	Act-1, Eden, Emerald, Vulcan, Joule, E, M#	Pony, Kappa, Dr.SES
Distributed Storage	Scoopfs	Tahoe-LAFS
Crypto Protocol	DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken	COAST, Cap’n Proto
Offline Certs	SPKI/SDSI, E-Speak, CapCert	Macaroons, lds-ocap
Blockchain		Gravity, Dfinity, RChain, Cosmos, Veres One, Sovrin, Agoric Systems
User Interface	CapDesk, Belay	Sandstorm

@@ Line 19: / Line 19: @@
 | Distributed Storage || || Scoopfs || || [https://tahoe-lafs.org/trac/tahoe-lafs Tahoe-LAFS]
 |-
-| Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, [http://waterken.sourceforge.net/ Waterken] || || [http://isr.uci.edu/projects/coast/ COAST], [https://capnproto.org/ Cap’n Proto]
+| Crypto Protocol || || DCCS, RATS, [http://www.erights.org/elib/distrib/captp/index.html CapTP], Foolscap, Client Utility, [http://waterken.sourceforge.net/ Waterken] || || [http://isr.uci.edu/projects/coast/ COAST], [https://capnproto.org/ Cap’n Proto]
 |-
 | Offline Certs || || SPKI/SDSI, E-Speak, CapCert || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ lds-ocap]