Dell C5765DN MFP Color Laser Printer User Manual
Page 61
Dell C5765dn Security Target
- 57 -
6.1.6. Class FPT:
Protection of the TSF
FPT_STM.1
Reliable time stamps
Hierarchical to:
No other components.
Dependencies:
No dependencies.
FPT_STM.1.1
The TSF shall be able to provide reliable time stamps.
FPT_TST.1 TSF
testing
Hierarchical to:
No other components.
Dependencies: No
dependencies.
FPT_TST.1.1
The TSF shall run a suite of self tests [selection: during initial start-up,
periodically during normal operation, at the request of the authorised
user, at the conditions [assignment: conditions under which self test
should occur]] to demonstrate the correct operation of [selection:
[assignment: parts of TSF], the TSF].
[selection: during initial start-up, periodically during normal operation, at
the request of the authorised user, at the conditions [assignment:
conditions under which self test should occur]]
- at the conditions [assignment: conditions under which self test should
occur]
[assignment: conditions under which self test should occur]
- at initiation under which self test is set
[selection: [assignment: parts of TSF], the TSF].
- [assignment: parts of TSF]
- TSF executable code
FPT_TST.1.2
The TSF shall provide authorised users with the capability to verify the
integrity of [selection: [assignment: parts of TSF data], TSF data].
[selection: [assignment: parts of TSF data], TSF data]
- [assignment: parts of TSF data]
- TSF data (excluding audit log data and present time data)
FPT_TST.1.3
The TSF shall provide authorised users with the capability to verify the
integrity of [selection: [assignment: parts of TSF], TSF].
[selection: [assignment: parts of TSF], TSF]
- assignment: parts of TSF
- TSF executable code in program ROM