Specifications

Samsung MFP Security Kit Type_B V1.5 Security Target



ADV_FSP.3.1C The functional specification shall completely

represent the TSF.

ADV_FSP.3.2C The functional specification shall describe the

purpose and method of use for all TSFI.

ADV_FSP.3.3C The functional specification shall identify and

describe all parameters associated with each TSFI.

ADV_FSP.3.4C For each SFR-enforcing TSFI, the functional

specification shall describe the SFR-enforcing

actions associated with the TSFI.

ADV_FSP.3.5C For each SFR-enforcing TSFI, the functional

specification shall describe direct error messages

resulting from security enforcing effects and

exceptions associated with invocation of the TSFI.

ADV_FSP.3.6C The functional specification shall summarize the

SFR-supporting and SFR-non-interfering actions

associated with each TSFI.

ADV_FSP.3.7C The tracing shall demonstrate that the SFRs trace

to TSFIs in the functional specification.

Evaluator action elements:

ADV_FSP.3.1E The evaluator shall confirm that the information

provided meets all requirements for content and

presentation of evidence.

ADV_FSP.3.2E The evaluator shall determine that the functional

specification is an accurate and complete

instantiation of the SFRs.

5.2.2.3 ADV_TDS.2 Architectural design

Dependencies: ADV_FSP.3 Functional specification with complete

summary

Developer action elements:

ADV_TDS.2.1D The developer shall provide the design of the TOE.

ADV_TDS.2.2D The developer shall provide a mapping from the

TSFI of the functional specification to the lowest

level of decomposition available in the TOE design.

Content and presentation elements:

ADV_TDS.2.1C The design shall describe the structure of the TOE

in terms of subsystems.

ADV_TDS.2.2C The design shall identify all subsystems of the TSF.