Security Target
Version 1.1
2022-03-08
19
Requirement Class
Requirement Component
FDP_SWI_EXT.2
–
PSD Switching Methods
FDP_SWI_EXT.3
–
Tied Switching
FDP_UDF_EXT.1/AO
–
Unidirectional Data Flow (Audio Output)
FDP_UDF_EXT.1/KM
–
Unidirectional Data Flow (Keyboard/Mouse)
FDP_UDF_EXT.1/VI
–
Unidirectional Data Flow (Video Output)
FIA: Identification and
Authentication
FIA_UAU.2
–
User Authentication Before Any Action
FIA_UID.2
–
User Identification Before Any Action
FMT: Security Management
FMT_MOF.1
–
Management of Security Functions Behavior
FMT_SMF.1
–
Specification of Management Functions
FMT_SMR.1
–
Security Roles
FPT: Protection of the TSF
FPT_FLS_EXT.1
–
Failure with Preservation of Secure State
FPT_NTA_EXT.1
–
No Access to TOE
FPT_PHP.1
–
Passive Detection of Physical Attack
FPT_PHP.3
–
Resistance to Physical Attack
FPT_STM.1 Reliable Time Stamps
FPT_TST.1
–
TSF Testing
FPT_TST_EXT.1
–
TSF Testing
FTA: TOE Access
FTA_CIN_EXT.1
–
Continuous Indications
5.2.1
Security Audit (FAU)
5.2.1.1
Audit Data Generation (FAU_GEN.1)
FAU_GEN.1.1
The TSF shall be able to generate an audit record of the following auditable
events:
a.
Start‐up and shutdown of the audit functions;
b.
All auditable events for the [
not specified
] level of audit; and
c.
[
administrator login, administrator logout, self
‐
test failures, peripheral
device acceptance and rejections, [
modification of the
TOE keyboard,
mouse filtering blacklist, Reset to Factory Default, view audit logs,
change password
]
].
FAU_GEN.1.2
The TSF shall record within each audit record at least the following information: