Content deleted Content added
«new: +"#REDIRECTCapability-based security"» |
Changing short description from "Myself I am Abubeker active my account" to one that is intentionally blank |
||
(35 intermediate revisions by 25 users not shown) | |||
Line 1:
{{Short description|none}}
{{Duplication|dupe=Capability-based security|date=Aug-2023}}{{unreferenced|date=June 2016}}
'''Capability-based operating system''' generally refers to an [[operating system]] that uses [[capability-based security]].
Examples include:
*[[Hydra (operating system)|Hydra]]
*[[KeyKOS]]
*[[EROS (microkernel)|EROS]]
*[[Midori (operating system)|Midori]]
*[[L4 microkernel family#High assurance: seL4|seL4]]
*[[Genode]]
*[[Fuchsia (operating system)|Fuchsia]]
*[[HarmonyOS| HarmonyOS (Microkernel)]] ([[HarmonyOS NEXT]])
*[[Phantom OS]]
*[[Control Program Facility]]
{{Object-capability security}}
{{operating-system-stub}}
[[Category:Capability systems]]
[[Category:Operating system security]]
|