Раздел: Документация
0 ... 36 37 38 39 40 41 42 ... 73 ADVRCR.1 Informal correspondence demonstration ALCTAT.1 Well-defined development tools Developer action elements: adv imp.1.1d The developer shall provide the implementation representation for a selected subset of the TSF. Content and presentation of evidence elements: adv imp.1.1c The implementation representation shall unambiguously define the TSF to a level of detail such that the TSF can be generated without further design decisions. adv imp.1.2c The implementation representation shall be internally consistent. Evaluator action elements: adv imp.1.1e The evaluator shall confirm that the information provided meets all requirements for content and presentation of evidence. adv imp.1.2e The evaluator shall determine that the least abstract TSF representation provided is an accurate and complete instantiation of the TOE security functional requirements. ADV IMP.2 Implementation of the TSF Application notes The ADVIMP.2.2E element defines a requirement that the evaluator determine that the implementation representation is an accurate and complete instantiation of the TOE security functional requirements. This provides a direct correspondence between the TOE security functional requirements and the implementation representation, in addition to the pairwise correspondences required by the ADVRCR family. It is expected that the evaluator will use the evidence provided in ADVRCR as an input to making this determination. Dependencies: ADV LLD. 1 Descriptive low-level design ADV RCR.1 Informal correspondence demonstration ALCTAT. 1 Well-defined development tools Developer action elements: adv imp.2.1d The developer shall provide the implementation representation for the entire TSF. adv imp.2.1c The implementation representation shall unambiguously define the TSF to a level of detail such that the TSF can be generated without further design decisions. adv imp.2.2c The implementation representation shall be internally consistent. adv imp.2.3c The implementation representation shall describe the relationships between all portions of the implementation. Evaluator action elements: adv imp.2.1e The evaluator shall confirm that the information provided meets all requirements for content and presentation of evidence. adv imp.2.2e The evaluator shall determine that the implementation representation is an accurate and complete instantiation of the TOE security functional requirements. ADV IMP.3 Structured implementation of the TSF Application notes The ADVIMP.3.2E element defines a requirement that the evaluator determine that the implementation representation is an accurate and complete instantiation of the TOE security functional requirements. This provides a direct correspondence between the TOE security functional requirements and the implementation representation, in addition to the pairwise correspondences required by the ADVRCR family. It is expected that the evaluator will use the evidence provided in ADVRCR as an input to making this determination. Dependencies: ADV INT.1 Modularity ADV LLD. 1 Descriptive low-level design ADVRCR. 1 Informal correspondence demonstration ALCTAT.1 Well-defined development tools Developer action elements: adv imp.3.1d The developer shall provide the implementation representation for the entire TSF. Content and presentation of evidence elements: adv imp.3.1c The implementation representation shall unambiguously define the TSF to a level of detail such that the TSF can be generated without further design decisions. adv imp.3.2c The implementation representation shall be internally consistent. adv imp.3.3c The implementation representation shall describe the relationships between all portions of the implementation. adv imp.3.4c The implementation representation shall be structured into small and comprehensible sections. Evaluator action elements: adv imp.3.1e The evaluator shall confirm that the information provided meets all requirements for content and presentation of evidence. adv imp.3.2e The evaluator shall determine that the implementation representation is an accurate and complete instantiation of the TOE security functional requirements. 0 ... 36 37 38 39 40 41 42 ... 73
|
