Formal Method

February 22, 2018

How Can We Help?

Formal Method

You are here:
< Back

Mathematical argument which verifies that the system satisfies a mathematically-described security policy.
SOURCE: CNSSI-4009