DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» KeyKOS
KeyKOS
The Flask Security Architecture: System Support for Diverse Security Policies
Microkernels Meet Recursive Virtual Machines
All Computer Applications Need to Store and Retrieve Information
Composing Abstractions Using the Null-Kernel
The Flask Security Architecture: System Support for Diverse Security Policies
Harvard Cs252r Fa'13
Capability Myths Demolished
What Have We Learnt in 20 Years of L4 Microkernels?
Microkernel OS Evolution
Formal Verification of a Component Platform Matthew Fernandez
Dynamic Data Models: an Application of MOP-Based Persistence in Common Lisp 1 Introduction
Statistics for Brynosaurus.Com (2004)
Lxds: Towards Isolation of Kernel Subsystems
The Design and Application of an Extensible Operating System
From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
HYDRA: the Kernel of a Multiprocessor Operating System
Performance of Ajax Applications on Mobile Devices
Operating Systems – OS Architecture Models
Top View
The Sel4 Microkernel – a Robust, Resilient, and Open-Source Foundation for Ground Vehicle Electronics Architecture
Application of Software Components in Operating System Design
Capabilities
A New Approach to Mobile Code Security
Access Control: Theory and Practice
Application of Software Components in Operating System Design
Ratko Rudič Mikrojedrni Operacijski Sistemi
Time Protection: the Missing OS Abstraction
Système D'exploitation Compatible Unix Appelé GNU 1987 : Minix Développé Par Tanenbaum 1990 : Debut De Hurd 1991 : Linus Torvals Développe Un Noyaux
Client-Independent Checkpoint/Restart of L4re-Server-Applications
A Functional Approach to Memory-Safe Operating Systems
Navigating the Attack Surface
CHERI Instruction-Set Architecture
Mmapx: Uniform Memory Protection in a Heterogeneous World
Operating System Rakesh
Security in Keykos
On Security in Capability-Based Systems
A Survey of Multiprocessor Operating System Kernels (DRAFT)