NIST800-SA-17(3) SA-17(3) Developer Security and Privacy Architecture and Design | Formal Correspondence
NIST800-SA-17(3) in NIST SP 800-53 Rev 5 (NIST SP 800-53 Rev 5, Release 5.2.0). All NIST SP 800-53 Rev 5 controls held. Open NIST SP 800-53 Rev 5 on the standards site.
The control as we hold it
SA-17(3) Developer Security and Privacy Architecture and Design | Formal Correspondence. Require the developer of the system, system component, or system service to: (a) Produce, as an integral part of the development process, a formal top-level specification that specifies the interfaces to security-relevant hardware, software, and firmware in terms of exceptions, error messages, and effects; (b) Show via proof to the extent feasible with additional informal demonstration as necessary, that the formal top-level specification is consistent with the formal policy model; (c) Show via informal demonstration, that the formal top-level specification completely covers the interfaces to.
Reviewed and closest counterparts in the other frameworks
We hold no cross-framework row for NIST800-SA-17(3) yet. The reviewed pairs page lists the released pairs and their coverage.
What an auditor commonly asks for
General guidance for this control area (domain: SA - System and Services Acquisition), in our words, not a statement of the standard and not binding on an assessor.
- the acquisition policy
- the security-requirement records
- the developer and supply-chain records