Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Capability-based security
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Implementations== Notable research and commercial systems employing capability-based security include the following: * [[Tahoe-LAFS]], an open-source capability-based filesystem * [[GNOSIS]], an operating system developed at [[Tymshare]] **[[KeyKOS]], successor to GNOSIS *** EROS, The [[Extremely Reliable Operating System]], successor to KeyKOS * [[Cambridge CAP computer]] * [[Hydra (operating system)]], part of the [[C.mmp]] project at [[Carnegie Mellon University]] * StarOS, part of the CM* project at [[Carnegie Mellon University]] * IBM [[System/38]] and [[AS/400]] * [[Intel iAPX 432]] * [[Plessey 250|Plessey System 250]] * [[Flex machine|Flex]] * [[L4 microkernel family]]: **OKL4 from Open Kernel Labs **[[SeL4]] from NICTA **Fiasco.OC and NOVA from [[TU Dresden]] * [[Amoeba (operating system)|Amoeba]] distributed operating system * [[FreeBSD]] [[Capsicum (Unix)|Capsicum]]<ref>{{Cite web|url=https://www.freebsd.org/cgi/man.cgi?capsicum(4)|title = Capsicum(4)}}</ref><ref>[https://www.cl.cam.ac.uk/research/security/capsicum/papers/2010usenix-security-capsicum-website.pdf Capsicum: practical capabilities for UNIX]. Retrieved 9 July 2024</ref> * [[Genode]]<ref>{{Cite web |title=Genode OS: a breath of fresh air in operating system and software security |url=https://rudd-o.com/linux-and-free-software/genode-os-a-breath-of-fresh-air-in-operating-system-and-software-security |access-date=2023-12-21 |website=Rudd-O.com |language=en}}</ref> * [[Google Fuchsia]]<ref>{{Cite web |date=2016-08-14 |title=Google's Fuchsia operating system runs on virtually anything |url=https://www.engadget.com/2016-08-13-google-fuchsia-operating-system.html |access-date=2023-12-21 |website=Engadget |language=en-US}}</ref> * [[HarmonyOS]] ([[OpenHarmony]]) <ref>{{cite web |last1=Děcký |first1=Martin |title=Microkernel-based and Capability-based Operating Systems |url=https://d3s.mff.cuni.cz/files/teaching/nswi161/martin-decky-microkernels-capabilities.pdf |website=D3S |access-date=23 December 2023}}</ref><ref>{{Cite web |title=docs/en/application-dev/security/accesstoken-overview.md at master · openharmony/docs |url=https://github.com/openharmony/docs/blob/master/en/application-dev/security/accesstoken-overview.md |access-date=2024-05-04 |website=GitHub |language=en}}</ref><ref>{{Cite web |last=DARKNAVY |date=2024-06-11 |title=AVSS Report: System Security Adversarial Capability Preliminary Evaluation of iOS, Android, and HarmonyOS - Kernel |url=https://www.darknavy.org/blog/avss_report_kernel/ |access-date=2024-07-04 |website=DARKNAVY |language=en}}</ref> *[[Phantom OS]]<ref>{{cite web |last1=Dziuba |first1=Ted |title=Russian rides Phantom to OS immortality |url=https://www.theregister.com/2009/02/03/phantom_russian_os/ |website=The Register |access-date=31 December 2023}}</ref> * [[WebAssembly]] System Interface (WASI)
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)