USB Support for the Least Privilege Separation Kernel

Abstract

The objective of the Trusted Computing Exemplar (TCX) project is to construct a useful example of a high assurance component as a reference model for building high assurance systems. The targeted exemplar component is the Least Privilege Separation Kernel (LPSK). The LPSK currently exists in the form of a partially implemented prototype. With respect to support for external computer peripherals, the prototype LPSK currently supports visual display units (e.g., LCD monitors) for output and PS/2 keyboards for user inputs. The PS/2 interface is a technology that is fast disappearing from computer systems. To keep the support for external computer peripherals up to date, support for other interface standards such as USB is required. This work has identified and ported part of the USB implementation (i.e., USB bus driver, UHCI driver and hub driver) from an open source BIOS called Sea BIOS to the LPSK. The problems encountered in the course of porting, together with their solutions, are presented to facilitate future work. Tests were conducted to ensure correct behavior of the ported code.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2012
Accession Number
ADA561771

Entities

People

  • Hwee M. Tan

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Cyber
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Central Processing Units
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Device Drivers
  • Firmware
  • Information Systems
  • Liquid Crystal Displays
  • Mass Storage
  • Models
  • Operating Systems
  • Prototypes
  • Standards
  • Virtual Machines

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Cybersecurity.
  • Database Systems and Applications