Object-capability systems
From Erights
(Difference between revisions)
| Line 7: | Line 7: | ||
| Hardware || || Plessey 250, CAP, C.mmp, CM*, IBM System/38, Intel 432 || || [http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ CHERI], [https://riscv.org/ Risc-V] | | Hardware || || Plessey 250, CAP, C.mmp, CM*, IBM System/38, Intel 432 || || [http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ CHERI], [https://riscv.org/ Risc-V] | ||
|- | |- | ||
| - | | OS || || DVH, Hydra, StarOS, Cal-TSS, PSOS || || [https://www.cl.cam.ac.uk/research/security/capsicum/ Capsicum], [http://www.barrelfish.org/ Barrelfish], [https://lwn.net/Articles/718267/ Fuchsia] | + | | OS || || DVH, Hydra, StarOS, Cal-TSS, PSOS || || [https://www.cl.cam.ac.uk/research/security/capsicum/ Capsicum], [https://nuxi.nl/ CloudABI], [http://www.barrelfish.org/ Barrelfish], [https://lwn.net/Articles/718267/ Fuchsia] |
|- | |- | ||
| KeyKOS family OS || || Gnosis, KeyKOS, GuardOS, EROS, [http://www.capros.org/ CapROS], Coyotos || || [https://sel4.systems/ seL4] | | KeyKOS family OS || || Gnosis, KeyKOS, GuardOS, EROS, [http://www.capros.org/ CapROS], Coyotos || || [https://sel4.systems/ seL4] | ||
| Line 13: | Line 13: | ||
| Distributed OS || || Ameoba, Mach, Midori || || | | Distributed OS || || Ameoba, Mach, Midori || || | ||
|- | |- | ||
| - | | Language || || Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict || || [http://monte.readthedocs.io/ Monte], [https://github.com/tc39/proposal-frozen-realms Frozen Realms], [http://wyvernlang.github.io/ Wyvern], [https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md wasm-gc] | + | | Language || || Gedanken, W7, J-Kernel, Joe-E, Emily, CaPerl, Caja, Tamed Pict || || [http://monte.readthedocs.io/ Monte], [https://github.com/tc39/proposal-frozen-realms Frozen Realms], [http://shill.seas.harvard.edu/ shill], |
| + | [http://wyvernlang.github.io/ Wyvern], [https://github.com/WebAssembly/gc/blob/master/proposals/gc/Overview.md wasm-gc] | ||
|- | |- | ||
| Distributed Language || || Act-1, Eden, Emerald, Vulcan, Joule, E, M# || || [https://www.ponylang.org/ Pony], [http://uu.diva-portal.org/smash/get/diva2:1164769/FULLTEXT01.pdf Kappa], [https://research.google.com/pubs/pub40673.html Dr.SES] | | Distributed Language || || Act-1, Eden, Emerald, Vulcan, Joule, E, M# || || [https://www.ponylang.org/ Pony], [http://uu.diva-portal.org/smash/get/diva2:1164769/FULLTEXT01.pdf Kappa], [https://research.google.com/pubs/pub40673.html Dr.SES] | ||
| Line 19: | Line 20: | ||
| Distributed Storage || || Scoopfs || || [https://tahoe-lafs.org/trac/tahoe-lafs Tahoe-LAFS] | | Distributed Storage || || Scoopfs || || [https://tahoe-lafs.org/trac/tahoe-lafs Tahoe-LAFS] | ||
|- | |- | ||
| - | | Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || [https://capnproto.org/ Cap’n Proto] | + | | Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, 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] | | Offline Certs || || SPKI/SDSI, E-Speak, CapCert || || [https://research.google.com/pubs/pub41892.html Macaroons], [https://w3c-ccg.github.io/ld-ocap/ lds-ocap] | ||
Revision as of 05:26, 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, 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, Agoric Systems | |||
| User Interface | CapDesk, Belay | Sandstorm |
