Component isolation in the Think architecture. - Archive ouverte HAL Access content directly
Conference Papers Year : 2002

Component isolation in the Think architecture.

Abstract

We present in this paper the security features of Think, an ob ject-oriented architecture dedicated to build customized operating system kernels. The Think architecture is composed of an object- oriented software framework including a trader, and a library of system abstractions programmed as components. We show how to use this architecture to build secure and efficient kernels. Policy-neutral security is achieved by providing elementary tools that can be used by the system programmer to build a system resistant to security hazards, and a security manager that uses these tools to enforce a given security policy. An example of such a secure system is given by detailing how to ensure component isolation with a elementary software-based memory isolation tool.
Fichier principal
Vignette du fichier
02-Rippert-Cabernet.pdf (73.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00310148 , version 1 (08-08-2008)

Identifiers

  • HAL Id : hal-00310148 , version 1

Cite

Christophe Rippert. Component isolation in the Think architecture.. 7th CaberNet Radicals workshop, Oct 2002, Bertinoro, Italy. ⟨hal-00310148⟩
265 View
99 Download

Share

Gmail Facebook X LinkedIn More