Object-capability systems

From Erights

(Difference between revisions)
Jump to: navigation, search
Line 23: Line 23:
| Offline Certs || || SPKI/SDSI, E-Speak, [Capability-based_Active_Invocation_Certificates CapCert] || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ lds-ocap]
| Offline Certs || || SPKI/SDSI, E-Speak, [Capability-based_Active_Invocation_Certificates CapCert] || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ lds-ocap]
|-
|-
-
| Blockchain || || || || Gravity, Dfinity, RChain, Cosmos, [https://w3c-ccg.github.io/didm-veres-one/ Veres One], [https://sovrin.org/ Sovrin], Agoric Systems
+
| Blockchain || || || || Gravity, Dfinity, RChain, [https://cosmos.network/ Cosmos], [https://w3c-ccg.github.io/didm-veres-one/ Veres One], [https://sovrin.org/ Sovrin], Agoric Systems
|-
|-
| User Interface || || CapDesk, [https://alanhkarp.com/scoopfs/index.html Scoopfs], [https://sites.google.com/site/belayresearchproject/ Belay] || || [https://sandstorm.io/ Sandstorm]
| User Interface || || CapDesk, [https://alanhkarp.com/scoopfs/index.html Scoopfs], [https://sites.google.com/site/belayresearchproject/ Belay] || || [https://sandstorm.io/ Sandstorm]
|}
|}

Revision as of 06:29, 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, [Capability-based_Active_Invocation_Certificates CapCert] Macaroons, lds-ocap
Blockchain Gravity, Dfinity, RChain, Cosmos, Veres One, Sovrin, Agoric Systems
User Interface CapDesk, Scoopfs, Belay Sandstorm
Personal tools
more tools