Most recent

DI-MISC-81346

Formal Security Policy Model


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.


CONTENT PROVIDER
Department of Defense [dod]

Others Also Bought
Informal Security Policy Model
Document History
We have no document history for this standard.
Included in Packages
This standard is not included in any packages.
Amendments & Corrections
We have no amendments or corrections for this standard.