Object-capability systems

From Erights

(Difference between revisions)
Jump to: navigation, search
 
Line 7: Line 7:
| Hardware || || [https://homes.cs.washington.edu/~levy/capabook/Chapter3.pdf CMNM], [https://en.wikipedia.org/wiki/Plessey_System_250 Plessey 250], [https://www.microsoft.com/en-us/research/publication/the-cambridge-cap-computer-and-its-operating-system/ CAP], [http://gordonbell.azurewebsites.net/cgb%20files/cmmp%20multi-mini-processor%20comconference%201972%20c.pdf C.mmp], [https://pdfs.semanticscholar.org/0820/cc9b611b2655d1bec8b85375650cef877848.pdf CM*], [http://mca-ltd.com/martin/Ten15/introduction.html Flex], [https://www-03.ibm.com/ibm/history/exhibits/rochester/rochester_4009.html IBM System/38], [https://blogs.oracle.com/bmc/revisiting-the-intel-432 Intel 432]  || || [http://www.crash-safe.org/docs/LowFatPtrs-CCS2013.html Crash-SAFE], [http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ CHERI], [https://riscv.org/ Risc-V]
| Hardware || || [https://homes.cs.washington.edu/~levy/capabook/Chapter3.pdf CMNM], [https://en.wikipedia.org/wiki/Plessey_System_250 Plessey 250], [https://www.microsoft.com/en-us/research/publication/the-cambridge-cap-computer-and-its-operating-system/ CAP], [http://gordonbell.azurewebsites.net/cgb%20files/cmmp%20multi-mini-processor%20comconference%201972%20c.pdf C.mmp], [https://pdfs.semanticscholar.org/0820/cc9b611b2655d1bec8b85375650cef877848.pdf CM*], [http://mca-ltd.com/martin/Ten15/introduction.html Flex], [https://www-03.ibm.com/ibm/history/exhibits/rochester/rochester_4009.html IBM System/38], [https://blogs.oracle.com/bmc/revisiting-the-intel-432 Intel 432]  || || [http://www.crash-safe.org/docs/LowFatPtrs-CCS2013.html Crash-SAFE], [http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ CHERI], [https://riscv.org/ Risc-V]
|-
|-
-
| OS || || [https://www.princeton.edu/~rblee/ELE572Papers/Fall04Readings/ProgramSemantics_DennisvanHorn.pdf DVH], [https://en.wikipedia.org/wiki/Hydra_(operating_system) Hydra], StarOS, [http://www.webstart.com/jed/papers/RATS/RATS.pdf RATS], [http://www.mcjones.org/CalTSS/ Cal-TSS], [http://www.csl.sri.com/users/neumann/psos.pdf 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], [https://github.com/genodelabs/genode Genode], [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], [https://homes.cs.washington.edu/~levy/capabook/Chapter7.pdf StarOS], [http://www.webstart.com/jed/papers/RATS/RATS.pdf RATS], [http://www.mcjones.org/CalTSS/ Cal-TSS], [http://www.csl.sri.com/users/neumann/psos.pdf 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], [https://github.com/genodelabs/genode Genode], [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], [http://www.cap-lore.com/Agorics/Library/guardoswhitepaper.html 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://cap-lore.com/Agorics/Library/KeyKos/gnosisShare.html Gnosis], [http://cap-lore.com/Agorics/Library/keykosindex.html KeyKOS], [http://www.cap-lore.com/Agorics/Library/guardoswhitepaper.html 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]

Latest revision as of 03:17, 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
Personal tools
more tools