Object-capability systems
From Erights
(Difference between revisions)
(Created page with "{| |- ! Substrate || || Historical System || || System |- | Hardware || || Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432, || || CHERI, Risc-V, Mill |- | OS || || DVH, Hydra, Cal…") |
|||
Line 3: | Line 3: | ||
! Substrate || || Historical System || || System | ! Substrate || || Historical System || || System | ||
|- | |- | ||
- | | Hardware || || Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 | + | | Hardware || || Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 || || CHERI, Risc-V, Mill |
|- | |- | ||
| OS || || DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos, Mach, Midori || || Capsicum, seL4, Fuscia | | OS || || DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos, Mach, Midori || || Capsicum, seL4, Fuscia | ||
|- | |- | ||
- | | Language || || Gedanken, W7, Eden, Emerald, Joule, E, Emily, M#, Caja | + | | Language || || Gedanken, W7, Eden, Emerald, Joule, E, Joe-E, Emily, M#, Caja || || Monte, Pony, Kappa, Frozen Realms, Dr.SES, Wyvern, wasm-gc |
|- | |- | ||
- | | Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, || || | + | | Crypto Protocol || || DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken || || Cap’n Proto |
|- | |- | ||
| Offline Certs || || SPKI/SDSI, E-Speak, CapCert || || Macaroons, lds-ocap | | Offline Certs || || SPKI/SDSI, E-Speak, CapCert || || Macaroons, lds-ocap |
Revision as of 23:53, 10 March 2018
Substrate | Historical System | System | ||
---|---|---|---|---|
Hardware | Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 | CHERI, Risc-V, Mill | ||
OS | DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos, Mach, Midori | Capsicum, seL4, Fuscia | ||
Language | Gedanken, W7, Eden, Emerald, Joule, E, Joe-E, Emily, M#, Caja | Monte, Pony, Kappa, Frozen Realms, Dr.SES, Wyvern, wasm-gc | ||
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, Agoric Systems | |||
User Interface | CapDesk, Belay | Sandstorm |