Integrated Trusted Systems Development Environment
Abstract
This document is the Final Report of the Integrated Trusted Systems Development Environment (ITSDE) project. The ITSDE project was a feasibility study that addressed the software development process for trusted systems. The goals of this effort were: (1) to elaborate the Integrated Development Process (IDP) for trusted systems outlined in 'Developing Trusted Systems Using DoD-STD- 2167A' by T. Benzel and to elaborate the corresponding documentation suite, and (2) to investigate how formal specification and verification tools developed at ORA for Rome Laboratory fit into the elaborated IDP for trusted systems of high assurance. The IDP attempts to integrate activities by the DOD-STD2167A and the 'Trusted Computer System Evaluation Criteria', TCSEC, into a unified approach for the development of trusted systems. We chose to investigate the elaboration of the IDP by developing requirements, design, and formal specification of a particular example. This approach allowed us to illustrate the findings and recommendations produced by the study. As our example for the study we chose to add a trusted mail service, which we call the Trusted Mail Handler, to the THETA (Trusted Heterogeneous Architecture) distributed operating system. THETA adds trusted distributed operating system functionality on top of commercial-off-the- shelf (COTS) trusted operating systems.... Software development, formal specifications, trusted systems.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1993
- Accession Number
- ADA267029
Entities
People
- David M. Rosenthal
- Tanya Korelsky