Specifications

Samsung MFP Security Kit Type_B V1.5 Security Target



ADV_TDS.2.3C The design shall describe the behavior of each

SFR non-interfering subsystem of the TSF in detail

sufficient to determine that it is SFR non-

interfering.

ADV_TDS.2.4C The design shall describe the SFR-enforcing

behavior of the SFR-enforcing subsystems.

ADV_TDS.2.5C The design shall summarize the SFR-supporting

and SFR-non-interfering behavior of the SFR-

enforcing subsystems.

ADV_TDS.2.6C The design shall summarize the behavior of the

SFR-supporting subsystems.

ADV_TDS.2.7C The design shall provide a description of the

interactions among all subsystems of the TSF.

ADV_TDS.2.8C The mapping shall demonstrate that all behavior

described in the TOE design is mapped to the

TSFIs that invoke it.

Evaluator action elements:

ADV_TDS.2.1E The evaluator shall confirm that the information

provided meets all requirements for content and

presentation of evidence.

ADV_TDS.2.2E The evaluator shall determine that the design is

an accurate and complete instantiation of all

security functional requirements.

5.2.3 Class AGD: Operational user guidance

5.2.3.1 AGD_OPE.1 Operational user guidance

Dependencies: ADV_FSP.1 Basic functional specification

Developer action elements:

AGD_OPE.1.1D The developer shall provide operational user

guidance.

Content and presentation elements:

AGD_OPE.1.1C The operational user guidance shall describe, for

each user role, the user-accessible functions and

privileges that should be controlled in a secure

processing environment, including appropriate

warnings.

AGD_OPE.1.2C The operational user guidance shall describe, for

each user role, how to use the available interfaces

provided by the TOE in a secure manner.