Samsung Multifunction MultiXpress X4220, X4250, X4300, X401, K4250, K4300, K4350, K401 Series
71
Copyright
2014 SAMSUNG ELECTRONICS Co., Ltd., All rights reserved
ASE_REQ.1 Stated security requirements
ADV_FSP.1 Basic functional specification
Developer action elements:
ASE_TSS.1.1D
The developer shall provide a TOE summary specification.
Content and presentation elements:
ASE_TSS.1.1C
The TOE summary specification shall describe how the TOE meets
each SFR.
Evaluator action elements:
ASE_TSS.1.1E
The evaluator shall confirm that the information provided meets all
requirements for content and presentation of evidence.
ASE_TSS.1.2E
The evaluator shall confirm that the TOE summary specification is
consistent with the TOE overview and the TOE description.
6.2.2
Class ADV: Development
6.2.2.1
ADV_ARC.1 Security architecture description
Dependencies:
ADV_FSP.1 Basic functional specification
ADV_TDS.1 Basic design
Developer action elements:
ADV_ARC.1.1D
The developer shall design and implement the TOE so that the
security features of the TSF cannot be bypassed.
ADV_ARC.1.2D
The developer shall design and implement the TSF so that it is
able to protect itself from tampering by untrusted active entities.
ADV_ARC.1.3D
The developer shall provide a security architecture description
of the TSF.
Content and presentation elements:
ADV_ARC.1.1C
The security architecture description shall be at a level of detail
commensurate with the description of the SFR-enforcing
abstractions described in the TOE design document.
ADV_ARC.1.2C
The security architecture description shall describe the security
domains maintained by the TSF consistently with the SFRs.
ADV_ARC.1.3C
The security architecture description shall describe how the
TSF initialization process is secure.
ADV_ARC.1.4C
The security architecture description shall demonstrate that the
TSF protects itself from tampering.
ADV_ARC.1.5C
The security architecture description shall demonstrate that the
TSF prevents bypass of the SFR-enforcing functionality.
Evaluator action elements: