Security Assurance Requirements - Belkin F1DN102C User Manual

Belkin® Secure DVI KVM Switch, Secure KM Switch and
Secure Windowing KVM EAL 4 augmented ALC_FLR.3 Security Target
6.6 Security Assurance Requirements
The table below is provides a list of claimed assurance components for each class.
Assurance Class
Development
Guidance Documents
Life Cycle Support
Security Target
evaluation
Tests
Vulnerability Assessment AVA_VAN.3
Table 14: SAR list
Assurance Assurance Components Description
Component ID
ADV_ARC.1 Security architecture description
ADV_FSP.4 Complete functional specification
ADV_IMP.1 Implementation representation of the TSF
ADV_TDS.3 Basic modular design
AGD_OPE.1 Operational user guidance
AGD_PRE.1 Preparative procedures
ALC_CMC.4 Product support, acceptance procedures and automation
ALC_CMS.4 Problem tracking CM coverage
ALC_DEL.1 Delivery procedures
ALC_DVS.1 Identification of security measures
ALC_FLR.3 Systematic Flaw Remediation
ALC_LCD.1 Developer defined life‐cycle model
ALC_TAT.1 Well‐defined development tools
ASE_CCL.1 Conformance claims
ASE_ECD.1 Extended components definition
ASE_INT.1 ST introduction
ASE_OBJ.2 Security objectives
ASE_REQ.2 Derived security requirements
ASE_SPD.1 Security problem definition
ASE_TSS.1 TOE summary specification
ATE_COV.2 Analysis of coverage
ATE_DPT.1 Testing: basic design
ATE_FUN.1 Functional testing
ATE_IND.2 Independent testing ‐ sample
Focused vulnerability analysis
Rev. 1.01
Page | 58