Formal Method

nouncandidate·updated May 9, 2026

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

Framework senses

2 senses across 2 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.