Hermann Härtig  Home/Search
Context Related
| os.inf.tudresden.de/pape...secarch.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: os.inf.tudresden.de/drops/doc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The knowledge in technologies needed to build secure platforms, or Security Architectures, has significantly matured over the recent years. These include small interface technologies, access-control contracts, tunneling, secure booting, effective resource control, and virtual machines. Putting together these ingredients into a small secure platform seems straightforward, yet still remains to be done, and has the potential of making operating systems more dependable. (Update)
Cited by: More
Reducing TCB size by using untrusted components -.. - Hohmuth, Peter.. (2004) (Correct)
An I/O Architecture for Microkernel-Based Operating.. - Haertig, Loeser.. (2003) (Correct)
DOpE - a Window Server for Real-Time and Embedded Systems - Feske, Härtig (2003) (Correct)
Active bibliography (related documents): More All
0.7: Secure Object Identification - or: Solving The Chess.. - Alkassar, Stüble.. (2003) (Correct)
0.3: Bridging the Gap between TCPA/Palladium and Personal Security - Sadeghi, Stüble (2003) (Correct)
0.2: Formalising the L4 microkernel API - Rafal Kolanski Gerwin (Correct)
Similar documents based on text: More All
0.3: Encapsulating Mobile Objects - Härtig, Reuther (1997) (Correct)
0.2: VFiasco - Towards a Provably Correct µ-Kernel - Tews, Härtig, Hohmuth (2001) (Correct)
0.2: Confidence Domains for Distributed Systems - Kühnhauser (1994) (Correct)
Related documents from co-citation: More All
2: Artifact: An experimental real-time window system (context) - John, Sasinowski - 1995
2: Cooperating resource managers (context) - Hartig, Reuther et al. - 1999
2: Portierung von Linux auf den -Kern L (context) - Borriss, Hohmuth et al. - 1997
BibTeX entry: (Update)
Hermann Hrtig. Security Architectures Revisited. In Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002. http://citeseer.ist.psu.edu/hrtig02security.html More
@misc{ hrtig02security,
author = "H. Hrtig",
title = "Security Architectures Revisited",
text = "Hermann Hrtig. Security Architectures Revisited. In Proceedings of the
Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/hrtig02security.html" }
Citations (may not include all citations):400 safety and performance in the Spin operating system (context) - Bershad, Savage et al. - 1995
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
175 Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996
85 A resource allocation model for qos management - Rajkumar, Lee et al. - 1997
73 The Digital distributed system security architecture - Gasser, Goldstein et al. - 1989
31 The performance of-kernel-based systems (context) - artig, Hohmuth et al. - 1997
19 Applying source-code verification to a microkernel --- the V.. - Hohmuth, Tews et al. - 2002
10 Cooperating resource managers (context) - artig, Reuther et al. - 1999
8 EROS: A principle driven operating system from the ground up (context) - Shapiro, Hardy - 2002
8 SoftSDV: A pre-silicon software development environment for .. - Uhlig, Fishtein et al. - 1999
6 The BirliX security architecture (context) - artig, Kowalski et al. - 1993
6 Policing offloaded - Dannowski, artig - 2000
5 Toward real-kernels (context) - Liedtke - 1996
4 The PERSEUS system architecture - Pfitzmann, Riordan et al. - 2001
2 Towards secure IFF - preventing mafia fraud attacks - Alkassar, uble - 2002
1 Kapselung ausf uhrbarer Bin ardateien (context) - Lehmann, Westfeld - 2001
http://www.nai.com/research/nailabs/finishedprojects
Documents on the same site (http://os.inf.tu-dresden.de/drops/doc.html): More
The L4 Microkernel on Alpha - Schönberg (1996) (Correct)
Taming Linux - Härtig, Hohmuth, Wolter (1998) (Correct)
A Streaming Interface for Real-Time Interprocess Communication - Löser, Härtig, Reuther (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