DI-MISC-81347, DATA ITEM DESCRIPTION (DID): FORMAL TOP LEVEL SPECIFICATION (FTLS) (02-JUL-1993)

DI-MISC-81347, DATA ITEM DESCRIPTION (DID): FORMAL TOP LEVEL SPECIFICATION (FTLS) (02-JUL-1993)., The Formal Top Level Specification (FTLS) is a mathematically precise abstract representation of the trusted computing base (TCB). The FTLS provides an accurate description of the TCB interface in terms of exceptions, error messages and effects. The FTLS includes hardware and firmware elements if their properties are visible at the TCB interface.