Specifications

Samsung MFP Security Kit Type_B V1.5 Security Target



ALC_LCD.1.1C The life-cycle definition documentation shall

describe the model used to develop and maintain

the TOE.

ALC_LCD.1.2C The life-cycle model shall provide for the

necessary control over the development and

maintenance of the TOE.

Evaluator action elements:

ALC_LCD.1.1E The evaluator shall confirm that the information

provided meets all requirements for content and

presentation of evidence.

5.2.5 Class ATE: Tests

5.2.5.1 ATE_COV.2 Analysis of coverage

Dependencies: ADV_FSP.2 Security-enforcing functional

specification

ATE_FUN.1 Functional testing

Developer action elements:

ATE_COV.2.1D The developer shall provide an analysis of the test

coverage.

Content and presentation elements:

ATE_COV.2.1C The analysis of the test coverage shall

demonstrate the correspondence between the

tests in the test documentation and the TSFIs in

the functional specification.

ATE_COV.2.2C The analysis of the test coverage shall

demonstrate that all TSFIs in the functional

specification have been tested.

Evaluator action elements:

ATE_COV.2.1E The evaluator shall confirm that the information

provided meets all requirements for content and

presentation of evidence.

5.2.5.2 ATE_DPT.1 Testing: basic design

Dependencies: ADV_ARC.1 Security architecture description

ADV_TDS.2 Architectural design

ATE_FUN.1 Functional testing

Developer action elements: