Capability-based operating system

Capability-based operating system generally refers to an operating system that uses capability-based security.

Examples include:

  • Hydra
  • KeyKOS
  • EROS
  • CapROS
  • Midori
  • seL4
  • Genode
  • Fuchsia
  • Control Program Facility
Object-capability security
Concepts
  • Principle of least authority (POLA)
  • Confused deputy problem
  • Ambient authority
  • File descriptor
  • C-list
  • Object-capability model
  • Capability-based security
  • Capability-based addressing
  • Zooko's triangle
  • Petnames
OS kernels
  • Hydra
  • NLTSS
  • KeyKOS
  • EROS
  • CapROS
  • iMAX 432
  • Midori
  • seL4
  • Genode
  • Fuchsia
  • Capsicum
Programming languages
  • Joule
  • E
  • Joe-E
  • Cajita
Filesystems
  • Tahoe-LAFS
Specialised hardware
  • Plessey System 250
  • Cambridge CAP
  • IBM System/38
  • Intel iAPX 432
  • BiiN
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.