DI-MISC-81342, DATA ITEM DESCRIPTION: DESCRIPTIVE TOP LEVEL SPECIFICATION (02-JUL-1993)

DI-MISC-81342, DATA ITEM DESCRIPTION: DESCRIPTIVE TOP LEVEL SPECIFICATION (02-JUL-1993)., The Descriptive Top Level Specification (DTLS)is a top level specification using English language descriptions. It completely and accurately describes the trusted computing base (TCB)in terms of exceptions, error messages, and effects. The DTLS is an accurate description of the TCB interface.