Formal Method

nounverified·updated May 9, 2026

Mathematical argument which verifies that the system satisfies a mathematically-described security policy.

Framework senses

3 senses across 3 frameworks

NISTIR 7298: Glossary of Key Information Security Terms, Revision 21 senseview framework →

§1: Mathematical argument which verifies that the system satisfies a mathematically-described security policy.

CNSSI-4009 (Glossary of Information Assurance Terms)1 senseview framework →

§1: Mathematical argument which verifies that the system satisfies a mathematically-described security policy.

Legacy lexicon import1 senseview framework →

§1 · legacy_primary: Mathematical argument which verifies that the system satisfies a mathematically-described security policy.
DR-088 backfill from the noun definition column