Formal Method

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


Formal Method

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

Used in methodology