DTOS Technical Reports

This page provides links to selected technical reports from the DTOS program, in postscript and pdf formats.

Final Report

Prototype Documentation

These documents describe the DTOS prototype and demonstration software.

Assurance-Formal Specifications of DTOS

These documents present or analyze formal specifications of the DTOS prototype software.

Assurance-Research Tasks

These documents describe assurance research performed under the DTOS contract which was not tied directly to the formal specifications.

Study of Operating System Security Mechanisms

DTOS Home Page
This page is currently being maintained by: Stephen Smalley.
Last Modified: 2 March 1998