Accession Number : ADA267029


Title :   Integrated Trusted Systems Development Environment


Descriptive Note : Final rept.,


Corporate Author : ORA CORP ITHACA NY


Personal Author(s) : Korelsky, Tanya ; Rosenthal, David


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a267029.pdf


Report Date : May 1993


Pagination or Media Count : 72


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.


Descriptors :   *SOFTWARE ENGINEERING , *INTEGRATED SYSTEMS , *DATA PROCESSING SECURITY , REQUIREMENTS , ENVIRONMENTS , VERIFICATION , SPECIFICATIONS , TOOLS , COMPUTERS , OFF THE SHELF EQUIPMENT , COMPUTER ARCHITECTURE , FEASIBILITY STUDIES , COMMERCIAL EQUIPMENT , OPERATING SYSTEMS(COMPUTERS) , SYSTEMS APPROACH , LABORATORIES , ELECTRONIC MAIL


Subject Categories : Computer Programming and Software
      Computer Systems Management and Standards


Distribution Statement : APPROVED FOR PUBLIC RELEASE