Dell C7765DN MFP Color Laser Printer - Manual (Page 62)

Dell C7765dn Security Target
- 58 -
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