Operating Systems · Institute for System Architecture · Dept. of CS · TU Dresden

Secure Microkernel-Based System Architecture (µSINA)




Publications:

Christian Helmuth, Alexander Warg, Norman Feske:
Mikro-SINA - Hands-on Experiences with the Nizza Security Architecture.
In D.A.CH Security 2005, Darmstadt, Germany, March 2005. [PDF]

Christian Helmuth, Andreas Westfeld, Michael Sobirey:
µSINA - Eine mikrokernbasierte Systemarchitektur für sichere Systemkomponenten.
S. 439-453 in Bundesamt für Sicherheit in der Informationstechnik (Hrsg.): IT-Sicherheit im verteilten Chaos, Tagungsband 8. Deutscher IT-Sicherheitskongress des BSI, Secumedia-Verlag Ingelsheim 2003. [PDF] (best paper award)

Oliver Stecklina:
Realisierung geschützter Speicherbereiche für Funktionen des LINUX Systemkerns.
(best student paper)

Related work:

H. Härtig, J. Löser, F. Mehnert, L. Reuther, M. Pohlack, A. Warg:
An I/O Architecture for Mikrokernel-Based Operating Systems.
Technical Report TUD-FI03-08-07-2003, TU Dresden, July 2003. [PDF]

Hermann Härtig:
Security Architectures Revisited.
SIGOPS European Workshop, September 2002. [PDF]

Michael Hohmuth, Hendrik Tews, Shane G. Stephens:
Applying source-code verification to a microkernel - The VFiasco project.
Technical Report, March 2002. [PDF]

Hermann Härtig, Michael Hohmuth, Jochen Liedtke:
The Performance of µ-Kernel-based Systems.
SOSP, 1997. [PDF]

Jochen Liedtke:
Toward Real Microkernels.
Communications of the ACM, 39(9), pp. 70-77, September 1996 [PDF]
Christian Helmuth, http://os.inf.tu-dresden.de/~ch12/
9. Mar 2005
· Copyright © 2001-2019 Operating Systems Group, TU Dresden | Impressum ·