ADV_FSP.3 Semiformal functional specification
Dependencies:
ADV_RCR.1 Informal correspondence demonstration
Developer action elements:
ADV_FSP.3.1D The developer shall provide a functional specification.
Content and presentation of evidence elements:
ADV_FSP.3.1C The functional specification shall describe the TSF and its external interfaces using a semiformal style, supported by informal, explanatory text where appropriate.
ADV_FSP.3.2C The functional specification shall be internally consistent.
ADV_FSP.3.3C The functional specification shall describe the purpose and method of use of all external TSF interfaces, providing complete details of all effects, exceptions and error messages.
ADV_FSP.3.4C The functional specification shall completely represent the TSF.
ADV_FSP.3.5C The functional specification shall include rationale that the TSF is completely represented.
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 TOE security functional requirements.