Quote:
The TCB shall maintain a domain for its own execution
that protects it from external interference or tampering
(e.g., by modification of its code or data structures).
The TCB shall maintain process isolation through the
provision of distinct address spaces under its control.
The TCB shall be internally structured into well-defined
largely independent modules. It shall make effective use
of available hardware to separate those elements that are
protection-critical from those that are not. The TCB
modules shall be designed such that the principle of
least privilege is enforced. Features in hardware, such
as segmentation, shall be used to support logically
distinct storage objects with separate attributes
(namely: readable, writeable). The user interface to the
TCB shall be completely defined and all elements of the
TCB identified. The TCB shall be designed and structured
to use a complete, conceptually simple protection
mechanism with precisely defined semantics. This
mechanism shall play a central role in enforcing the
internal structuring of the TCB and the system. The
TCB shall incorporate significant use of layering,
abstraction and data hiding. Significant system
engineering shall be directed toward minimizing the
complexity of the TCB and excluding from
the TCB modules that are not protection-critical.
3.3.3.1.2 System Integrity
Hardware and/or software features shall be provided that
can be used to periodically validate the correct
operation of the on-site hardware and firmware elements
of the TCB