|
Document ID:
|
DI-MISC-81346
Scroll down to access document images
|
|
|
Overview
|
|
Title:
|
Formal Security Policy Model
|
|
Scope:
|
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.
|
|
Status:
|
Active
|
DID Date:
|
02-JUL-1993
|
|
|
|
|
|
Next Review Due:
|
01-JUL-1998
|
|
|
|
FSC/Area:
|
MISC
|
Doc Category:
|
Data Item Description
|
|
|
|
|
|
Revision History
|
Click on column headings for a description of column content.
|
 | Base Document | A | 02-JUL-1993 | 5 | 299.4 KB |
NOTE: It is recommended that you use Adobe Reader v7.0 or higher for optimal download performance;
older versions should continue to work, but downloading large files may appear to take longer,
so please be patient in those cases.
|
|