Capability systems

The Cambridge CAP computer was the first successful experimental computer that demonstrated the use of security capabilities, both in hardware and software.

Capability Hardware Enhanced RISC Instructions ( CHERI ) ist eine Technologie zur Verbesserung der Sicherheit von RISC-Prozessoren ( Reduced Instruction Set Computer ).

In der Informatik ist die fähigkeitsbasierte Adressierung ein Verfahren, das von einigen Computern zur Steuerung des Speicherzugriffs und damit zur effizienten Implementierung fähigkeitsbasierter Sicherheit eingesetzt

Capability-basierte Sicherheit ist ein Konzept im Entwurf sicherer Computersysteme und eines der bestehenden Sicherheitsmodelle .

Das Flex-Computersystem wurde von Michael Foster und Ian Currie von der Royal Signals and Radar Establishment (RSRE) in Malvern , England, in den späten 1970er und 1980er Jahren entwickelt.

Genode ist eine neuartige Betriebssystemarchitektur, die darauf abzielt, die Softwaresicherheit zu verbessern , indem sie eine strenge Organisationsstruktur auf alle Softwarekomponenten, einschließlich Gerätetreiber ,