Object-capability systems
From Erights
(Difference between revisions)
Line 9: | Line 9: | ||
| OS || || [https://www.princeton.edu/~rblee/ELE572Papers/Fall04Readings/ProgramSemantics_DennisvanHorn.pdf DVH], [https://en.wikipedia.org/wiki/Hydra_(operating_system) Hydra], StarOS, [http://www.mcjones.org/CalTSS/ Cal-TSS], PSOS, [https://en.wikipedia.org/wiki/NLTSS NLTSS], [https://www.usenix.org/legacy/publications/library/proceedings/cinci93/full_papers/hamilton.txt Spring] || || [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] | | OS || || [https://www.princeton.edu/~rblee/ELE572Papers/Fall04Readings/ProgramSemantics_DennisvanHorn.pdf DVH], [https://en.wikipedia.org/wiki/Hydra_(operating_system) Hydra], StarOS, [http://www.mcjones.org/CalTSS/ Cal-TSS], PSOS, [https://en.wikipedia.org/wiki/NLTSS NLTSS], [https://www.usenix.org/legacy/publications/library/proceedings/cinci93/full_papers/hamilton.txt Spring] || || [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 || || [http://cap-lore.com/Agorics/Library/KeyKos/gnosisShare.html Gnosis], [http://cap-lore.com/Agorics/Library/keykosindex.html KeyKOS], GuardOS, [https://en.wikipedia.org/wiki/EROS_(microkernel) EROS], [http://www.capros.org/ CapROS], [https://ipfs.io/ipfs/QmXoypizjW3WknFiJnKLwHCnL72vedxjQkDDP1mXWo6uco/wiki/Coyotos.html Coyotos] || || [https://sel4.systems/ seL4] | + | | KeyKOS family OS || || [http://www.webstart.com/jed/papers/RATS/RATS.pdf RATS], [http://cap-lore.com/Agorics/Library/KeyKos/gnosisShare.html Gnosis], [http://cap-lore.com/Agorics/Library/keykosindex.html KeyKOS], GuardOS, [https://en.wikipedia.org/wiki/EROS_(microkernel) EROS], [http://www.capros.org/ CapROS], [https://ipfs.io/ipfs/QmXoypizjW3WknFiJnKLwHCnL72vedxjQkDDP1mXWo6uco/wiki/Coyotos.html Coyotos] || || [https://sel4.systems/ seL4] |
|- | |- | ||
| Distributed OS || || [https://www.cs.vu.nl/pub/amoeba/amoeba.html Ameoba], [https://developer.apple.com/library/content/documentation/Darwin/Conceptual/KernelProgramming/Mach/Mach.html Mach], [http://joeduffyblog.com/2015/11/03/blogging-about-midori/ Midori] || || | | Distributed OS || || [https://www.cs.vu.nl/pub/amoeba/amoeba.html Ameoba], [https://developer.apple.com/library/content/documentation/Darwin/Conceptual/KernelProgramming/Mach/Mach.html Mach], [http://joeduffyblog.com/2015/11/03/blogging-about-midori/ Midori] || || | ||
Line 19: | Line 19: | ||
| 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] | ||
|- | |- | ||
- | | Crypto Protocol || || DCCS | + | | Crypto Protocol || || 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 || || 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/ lds-ocap] | | Offline Certs || || 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/ lds-ocap] |
Revision as of 07:45, 11 March 2018
These are all capability systems, but not all are ocap systems.
Substrate | Historical System | System | ||
---|---|---|---|---|
Hardware | Chicago Magic Number Machine, Plessey 250, CAP, C.mmp, CM*, Flex, IBM System/38, Intel 432 | Crash-SAFE, CHERI, Risc-V | ||
OS | DVH, Hydra, StarOS, Cal-TSS, PSOS, NLTSS, Spring | Capsicum, CloudABI, Barrelfish, Fuchsia | ||
KeyKOS family OS | RATS, 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, 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 |