cases that can be used to verify security as a property of software (vs. the
Software Security Assurance State-of-the-Art Report (SOAR) 73
Section 4 Secure Systems Engineering
correctness of the security functionality provided by system components). Also