Specifications

Samsung MFP Security Kit Type_B V1.5 Security Target



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:

ADV_ARC.1.1E The evaluator shall confirm that the information

provided meets all requirements for content and

presentation of evidence.

5.2.2.2 ADV_FSP.3 Functional specification with complete

summary

Dependencies: ADV_TDS.1 Basic design

Developer action elements:

ADV_FSP.3.1D The developer shall provide a functional

specification.

ADV_FSP.3.2D The developer shall provide a tracing from the

functional specification to the SFRs.

Content and presentation elements: