7th Annual IEEE Information Assurance Workshop

 21-23 June 2006

 "The West Point Workshop"

 United States Military Academy, West Point, New York
Chair:  LTC Ronald Dodge, Ronald.Dodge@usma.edu

http://www.itoc.usma.edu/workshop/2006
   

Home
Call for Papers
Papers
Posters
Submission
Registration
Travel
Lodging
Program
Vendor Info
Contacts
Photographs
   IAWorkshop 2006 START Conference Manager    

Design of a Micro-kernel Based Secure System Architecture

Jianjun Shen

The 7th IEEE Information Assurance Workshop (IAWorkshop 2006)
West Point, New York, USA, June 21-23, 2006

Abstract

We describe the Trium secure system architecture. It is based on the Fiasco microkernel – an implementation of L4 microkernel interface. Compared to previous work on microkernel based secure systems, Trium tries to minimize the trusted computing base (TCB) of a secure system by moving most functions of an operating system out of the TCB, and it emphasizes on the reuse of legacy software. Compared to conventional virtual machine monitor solutions, Trium needs not to add complexities to the TCB for virtualization. We also try to achieve better isolation, privilege control and flexible configuration of system components, taking advantage of the specific features of the L4 microkernel as a second generation microkernel. An example application of Trium in multi-level secure networks is shown.

  
START Conference Manager (V2.52.3)
Maintainer: rrgerber@softconf.com

 

   
         
The IEEE Information Assurance Workshop is sponsored by the IEEE Systems Man and Cybernetics Society, supported by the National Security Agency, and hosted by the Information Technology Operations Center, Department of Electrical Engineering and Computer Science, at the United States Military Academy, West Point, New York.