DI-MISC-81346, DATA ITEM DESCRIPTION (DID): FORMAL SECURITY POLICY MODEL (02-JUL-1993)

DI-MISC-81346, DATA ITEM DESCRIPTION (DID): FORMAL SECURITY POLICY MODEL (02-JUL-1993)., A Formal Security Policy Model is a mathematically precise abstract representation of a security policy and the abstract protection mechanisms that enforce the policy. To be acceptable as a basis for a trusted computing base (TCB), the model must be supported by formal proof. This Data Item Description (DID) describes both the requirements for the model itself and the document in which the model will be delivered.