Ray - A Secure Micro Kernel Architecture

Provided by: University of Saarbrücken
Topic: Security
Format: PDF
In this paper the authors present a secure micro kernel architecture (called ray) that was designed from scratch with security goals in mind. It features some traditional security aspects like process isolation, advanced non-standard security aspects like padded non-readable memory boundaries and new contributions like memory gifts and behavior deviation detection. This theoretical design has been implemented as a proof of concept for x86 based processors including a small set of essential drivers and user land applications in order to verify and test the claims made herein.

Find By Topic