How Can We Help?
Mathematical argument which verifies that the system satisfies a mathematically-described security policy.
SOURCE: CNSSI-4009
February 22, 2018
Mathematical argument which verifies that the system satisfies a mathematically-described security policy.
SOURCE: CNSSI-4009
