Раздел: Документация
0 ... 39 40 41 42 43 44 45 ... 73 Dependencies: ADVHLD.2 Security enforcing high-level design ADVRCR.1 Informal correspondence demonstration Developer action elements: adv lld.1.1d The developer shall provide the low-level design of the TSF. Content and presentation of evidence elements: adv lld.1.1c The presentation of the low-level design shall be informal. adv lld.1.2c The low-level design shall be internally consistent. adv lld.1.3c The low-level design shall describe the TSF in terms of modules. adv lld.1.4c The low-level design shall describe the purpose of each module. adv lld.1.5c The low-level design shall define the interrelationships between the modules in terms of provided security functionality and dependencies on other modules. adv lld.1.6c The low-level design shall describe how each TSP-enforcing function is provided. adv lld.1.7c The low-level design shall identify all interfaces to the modules of the TSF. adv lld.1.8c The low-level design shall identify which of the interfaces to the modules of the TSF are externally visible. adv lld.1.9c The low-level design shall describe the purpose and method of use of all interfaces to the modules of the TSF, providing details of effects, exceptions and error messages, as appropriate. adv lld.1.10c The low-level design shall describe the separation of the TOE into TSP-enforcing and other modules. Evaluator action elements: adv lld.1.1e The evaluator shall confirm that the information provided meets all requirements for content and presentation of evidence. adv lld.1.2e The evaluator shall determine that the low-level design is an accurate and complete instantiation of the TOE security functional requirements. ADV LLD.2 Semiformal low-level design Dependencies: ADV HLD.3 Semiformal high-level design ADV RcR.2 Semiformal correspondence demonstration Developer action elements: adv lld.2.1d The developer shall provide the low-level design of the TSF. Content and presentation of evidence elements: adv lld.2.1c The presentation of the low-level design shall be semiformal. adv lld.2.2c The low-level design shall be internally consistent. adv lld.2.3c The low-level design shall describe the TSF in terms of modules. adv lld.2.4c The low-level design shall describe the purpose of each module. adv lld.2.5c The low-level design shall define the interrelationships between the modules in terms of provided security functionality and dependencies on other modules. adv lld.2.6c The low-level design shall describe how each TSP-enforcing function is provided. adv lld.2.7c The low-level design shall identify all interfaces to the modules of the TSF. adv lld.2.8c The low-level design shall identify which of the interfaces to the modules of the TSF are externally visible. adv lld.2.9c The low-level design shall describe the purpose and method of use of all interfaces to the modules of the TSF, providing complete details of all effects, exceptions and error messages. adv lld.2.10c The low-level design shall describe the separation of the TOE into TSP-enforcing and other modules. Evaluator action elements: adv lld.2.1e The evaluator shall confirm that the information provided meets all requirements for content and presentation of evidence. adv lld.2.2e The evaluator shall determine that the low-level design is an accurate and complete instantiation of the TOE security functional requirements. ADV LLD.3 Formal low-level design Dependencies: ADV HLD.5 Formal high-level design ADVRCR.3 Formal correspondence demonstration Developer action elements: adv lld.3.1d The developer shall provide the low-level design of the TSF. Content and presentation of evidence elements: The presentation of the low-level design shall be formal. The low-level design shall be internally consistent. The low-level design shall describe the TSF in terms of modules. The low-level design shall describe the purpose of each module. The low-level design shall define the interrelationships between the modules in terms of provided security functionality and dependencies on other modules. The low-level design shall describe how each TSP-enforcing function is provided. The low-level design shall identify all interfaces to the modules of the TSF. The low-level design shall identify which of the interfaces to the modules of the TSF are externally visible. The low-level design shall describe the purpose and method of use of all interfaces to the modules of the TSF, providing complete details of all effects, exceptions and error messages. adv lld.3.10c The low-level design shall describe the separation of the TOE into TSP-enforcing and other modules. advlld.3.1c advlld.3.2c advlld.3.3c advlld.3.4c advlld.3.5c advlld.3.6c advlld.3.7c advlld.3.8c advlld.3.9c Evaluator action elements: adv lld.3.1e The evaluator shall confirm that the information provided meets all requirements for content and presentation of evidence. adv lld.3.2e The evaluator shall determine that the low-level design is an accurate and complete instantiation of the TOE security functional requirements. 0 ... 39 40 41 42 43 44 45 ... 73
|
