Object-capability systems

From Erights

(Difference between revisions)
Jump to: navigation, search
Line 9: Line 9:
| OS || || DVH, Hydra, StarOS, Cal-TSS, PSOS || || Capsicum, [http://www.barrelfish.org/ Barrelfish], Fuscia
| OS || || DVH, Hydra, StarOS, Cal-TSS, PSOS || || Capsicum, [http://www.barrelfish.org/ Barrelfish], Fuscia
|-
|-
-
| KeyKOS family OS || || Gnosis, KeyKOS, GuardOS, EROS, CapROS, Coyotos || || seL4
+
| KeyKOS family OS || || Gnosis, KeyKOS, GuardOS, EROS, [http://www.capros.org/ CapROS], Coyotos || || seL4
|-
|-
| Distributed OS || || Ameoba, Mach, Midori || ||
| Distributed OS || || Ameoba, Mach, Midori || ||
|-
|-
-
| Language || || Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict || || Monte, Frozen Realms, Wyvern, wasm-gc
+
| Language || || Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict || || Monte, Frozen Realms, Wyvern, [https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md wasm-gc]
|-
|-
-
| Distributed Language || || Act-1, Eden, Emerald, Vulcan, Joule, E, M# || || Pony, [uu.diva-portal.org/smash/get/diva2:1164769/FULLTEXT01.pdf Kappa], Dr.SES
+
| Distributed Language || || Act-1, Eden, Emerald, Vulcan, Joule, E, M# || || [https://www.ponylang.org/ Pony], [uu.diva-portal.org/smash/get/diva2:1164769/FULLTEXT01.pdf Kappa], [https://research.google.com/pubs/pub40673.html Dr.SES]
|-
|-
-
| Distributed Storage || || Scoopfs || || Tahoe-LAFS
+
| Distributed Storage || || Scoopfs || || [https://tahoe-lafs.org/trac/tahoe-lafs Tahoe-LAFS]
|-
|-
-
| Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || Cap’n Proto
+
| Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || [https://capnproto.org/ Cap’n Proto]
|-
|-
-
| Offline Certs || || SPKI/SDSI, E-Speak, CapCert || || Macaroons, [https://w3c-ccg.github.io/ld-ocap/ lds-ocap]
+
| Offline Certs || || SPKI/SDSI, E-Speak, 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], Agoric Systems
| Blockchain || || || || Gravity, Dfinity, RChain, Cosmos, [https://w3c-ccg.github.io/didm-veres-one/ Veres One], Agoric Systems

Revision as of 05:04, 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 Capsicum, Barrelfish, Fuscia
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, Wyvern, wasm-gc
Distributed Language Act-1, Eden, Emerald, Vulcan, Joule, E, M# Pony, [uu.diva-portal.org/smash/get/diva2:1164769/FULLTEXT01.pdf Kappa], Dr.SES
Distributed Storage Scoopfs Tahoe-LAFS
Crypto Protocol DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken Cap’n Proto
Offline Certs SPKI/SDSI, E-Speak, CapCert Macaroons, lds-ocap
Blockchain Gravity, Dfinity, RChain, Cosmos, Veres One, Agoric Systems
User Interface CapDesk, Belay Sandstorm
Personal tools
more tools