Christophe Rippert  Home/Search
Context
Related
| sardes.inrialpes.f...03RippertOSR.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sardes.inrialpe...nfsardes.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents our work concerning flexibility and protection in operating system kernels. In most existing operating systems, security is enforced at the price of flexibility by imposing protection models on the system programmer when building his system. We prove that flexibility can be preserved by separating the management of the protection policy from the tools used to enforce it. We present the secure software framework we have implemented in the Think architecture to manage... (Update)
Active bibliography (related documents): More All
0.1: Reactive Objects - Boussinot, Doumenc, Stefani (1995) (Correct)
0.1: Protection in the Think exokernel - Christophe Rippert Jean-Bernard (Correct)
0.0: A Survey of Some Implementation Techniques for Security Membranes - Lacoste (Correct)
Similar documents based on text: More All
0.6: An evaluation of the Java Card environment - Rippert, Hagimont (2001) (Correct)
0.6: Securing the Think architecture - Christophe Rippert Sardes (Correct)
0.6: Component isolation in the Think architecture - Rippert (Correct)
BibTeX entry: (Update)
@misc{ rippert-protection,
author = "Christophe Rippert",
title = "Protection in Flexible Operating System Architectures",
url = "citeseer.ist.psu.edu/648120.html" }
Citations (may not include all citations):447 Exokernel: An Operating System Architecture for Application-.. - Engler, Kasshoek et al. - 1995
226 Lightweight Remote Procedure Call (context) - Bershad, Anderson et al. - 1989
74 Scheduling Algorithms for Modern Disk Drives - Worthington, Ganger et al. - 1994
44 cient Software-Based Fault Isolation (context) - Wahbe, Lucco et al. - 1993
29 Prolog: The Standard (context) - Deransart, Ed-Dbali et al. - 1996
17 PGP: Source Code and Internals (context) - Zimmermann - 1995
12 International Standard (context) - Model, ITU-T et al. - 1995
11 THINK: A Software Framework for Componentbased Operating Sys.. - Fassino, Stefani et al. - 2002
Documents on the same site (http://sardes.inrialpes.fr/papers/conf-sardes.shtml): More
An Architectural Approach to Replication Configuration - Marangozova, Hagimont (Correct)
Efficient Java Thread Serialization - Sara Bouchenak Swiss (Correct)
Experiences implementing efficient Java thread.. - Bouchenak.. (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC