Object-capability systems

From Erights

(Difference between revisions)
Jump to: navigation, search
Line 15: Line 15:
| Language || || [http://www.erights.org/history/morris73.pdf Gedanken], [http://mumble.net/~jar/pubs/secureos/ W7], [http://www.cs.cornell.edu/slk/jk-0.91/doc/Default.html J-Kernel], [https://github.com/davidwagner/joe-e Joe-E], [[Emily]], [https://web.archive.org/web/20130116033811/http://caperl.links.org/ CaPerl], [https://developers.google.com/caja/ Caja], [http://www2.fiit.stuba.sk/~kosik/doc/sofsem2008.pdf Tamed Pict], [https://web.archive.org/web/20111105211124/http://plash.beasts.org/wiki/ Plash] || ||  [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]
| Language || || [http://www.erights.org/history/morris73.pdf Gedanken], [http://mumble.net/~jar/pubs/secureos/ W7], [http://www.cs.cornell.edu/slk/jk-0.91/doc/Default.html J-Kernel], [https://github.com/davidwagner/joe-e Joe-E], [[Emily]], [https://web.archive.org/web/20130116033811/http://caperl.links.org/ CaPerl], [https://developers.google.com/caja/ Caja], [http://www2.fiit.stuba.sk/~kosik/doc/sofsem2008.pdf Tamed Pict], [https://web.archive.org/web/20111105211124/http://plash.beasts.org/wiki/ Plash] || ||  [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, [https://dl.acm.org/citation.cfm?doid=323627.323646 Eden], Emerald, [https://dl.acm.org/citation.cfm?id=28721 Vulcan], [http://www.erights.org/history/joule/ Joule], [http://wiki.erights.org 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, [https://dl.acm.org/citation.cfm?doid=323627.323646 Eden], Emerald, [https://dl.acm.org/citation.cfm?id=28721 Vulcan], [http://www.erights.org/history/joule/ Joule], [http://wiki.erights.org E], [http://www.info.ucl.ac.be/~pvr/oze.pdf Oz-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 Storage || || [https://alanhkarp.com/scoopfs/index.html Scoopfs] || || [https://tahoe-lafs.org/trac/tahoe-lafs Tahoe-LAFS]
| Distributed Storage || || [https://alanhkarp.com/scoopfs/index.html Scoopfs] || || [https://tahoe-lafs.org/trac/tahoe-lafs Tahoe-LAFS]

Revision as of 18:58, 11 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, 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, lds-ocap
Blockchain Gravity, Dfinity, RChain, Cosmos, Veres One, Sovrin, Agoric Systems
User Interface CapDesk, Scoopfs, Belay Sandstorm
Personal tools
more tools