NIST 800-172_3.14.7e

NIST 800-172



Verify the correctness of [Assignment: organization-defined security critical or essential software firmware and hardware components] using [Assignment: organization-defined verification methods or techniques].

Verification methods have varying degrees of rigor in determining the correctness of software firmware and hardware components. For example formal verification involves proving that a software program satisfies some formal property or set of properties. The nature of formal verification is generally time-consuming and not employed for commercial operating systems and applications. Therefore it would likely only be applied to some very limited uses such as verifying cryptographic protocols. However in cases where software firmware or hardware components exist with formal verification of the component’s security properties such components provide greater assurance and trustworthiness and are preferred over similar components that have not been formally verified. [SP 800-160-1] provides guidance on developing trustworthy secure and cyber resilient systems using systems security engineering practices and security design concepts


Click here to Start your FREE trial today!

Explainer video


What is a Cybersecurity Compliance Framework?

You don’t need to clutter your security and privacy programs with an ever-increasing number of tools as they become more sophisticated. The Lionfish platform offers a one-stop solution to track progress and monitor any framework, from custom-built ones to highly-specialized and in-demand top security and privacy frameworks and certifications.

With the Lionfish platform, every framework is supported with guided scoping, policies, controls, automated evidence collection, and continuous monitoring, ensuring efficient preparation for audits or attestation in minimal time.

The Lionfish platform is compatible with a wide range of security and privacy frameworks, including:

Click here to Start your FREE trial today!

Explainer video