Object-capability systems
From Erights
(Difference between revisions)
| Line 21: | Line 21: | ||
| Crypto Protocol || || [http://www.webstart.com/jed/papers/DCCS/ DCCS], [http://www.erights.org/elib/distrib/captp/index.html CapTP], [https://github.com/warner/foolscap/blob/latest-release/doc/using-foolscap.rst Foolscap], Client Utility, [http://waterken.sourceforge.net/ Waterken] || || [http://isr.uci.edu/projects/coast/ COAST], [https://capnproto.org/ Cap’n Proto] | | Crypto Protocol || || [http://www.webstart.com/jed/papers/DCCS/ DCCS], [http://www.erights.org/elib/distrib/captp/index.html CapTP], [https://github.com/warner/foolscap/blob/latest-release/doc/using-foolscap.rst Foolscap], Client Utility, [http://waterken.sourceforge.net/ Waterken] || || [http://isr.uci.edu/projects/coast/ COAST], [https://capnproto.org/ Cap’n Proto] | ||
|- | |- | ||
| - | | Offline Certs || || [http://world.std.com/~cme/html/spki.html SPKI/SDSI], E-Speak, [http://wiki.erights.org/wiki/Capability-based_Active_Invocation_Certificates CapCert] || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ | + | | Offline Certs || || [http://world.std.com/~cme/html/spki.html SPKI/SDSI], E-Speak, [http://wiki.erights.org/wiki/Capability-based_Active_Invocation_Certificates CapCert] || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ ld-ocap] |
|- | |- | ||
| Blockchain || || || || Gravity, [https://dfinity.org/ Dfinity], [http://rchain-architecture.readthedocs.io/en/latest/ RChain], [https://cosmos.network/ Cosmos], [https://w3c-ccg.github.io/didm-veres-one/ Veres One], [https://sovrin.org/ Sovrin], Agoric Systems | | Blockchain || || || || Gravity, [https://dfinity.org/ Dfinity], [http://rchain-architecture.readthedocs.io/en/latest/ RChain], [https://cosmos.network/ Cosmos], [https://w3c-ccg.github.io/didm-veres-one/ Veres One], [https://sovrin.org/ Sovrin], Agoric Systems | ||
Revision as of 02:52, 17 March 2018
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 |
