User guide

Aruba Networks Security Target
Page 20 of 67
Requirement
Title
FIA_PMG_EXT.1
Password Management
FIA_UIA_EXT.1
User Identification and Authentication
FIA_UAU_EXT.2
Extended: Password-based Authentication Mechanism
FIA_UAU.7
Protected Authentication Feedback
FMT_MTD.1
Management of TSF Data (for general TSF data)
FMT_SMF.1
Specification of Management Functions
FMT_SMR.2
Restrictions on Security Roles
FPT_SKP_EXT.1
Extended: Protection of TSF Data (for reading of all symmetric keys)
FPT_APW_EXT.1
Extended: Protection of Administrator Passwords
FPT_STM.1
Reliable Time Stamps
FPT_TUD_EXT.1
Extended: Trusted Update
FPT_TST_EXT.1
TSF Testing
FTA_SSL_EXT.1
TSF-initiated Session Locking
FTA_SSL.3
TSF-initiated Termination
FTA_SSL.4
User-initiated Termination
FTA_TAB.1
Default TOE Access Banners
FTP_ITC.1
Inter-TSF trusted channel
FTP_TRP.1
Trusted Path
5.3.1 Security Audit (FAU)
FAU_GEN.1 Audit Data Generation
FAU_GEN.1.1 The TSF shall be able to generate an audit record of the following
auditable events:
a) Start-up of the audit functions;
b) All auditable events for the not specified level of audit; and
c) All administrative actions;
d) Specifically defined auditable events listed in Table 11.