CS526: Information Security Chris Clifton November 6, 2003 Assurance.
CS526: Information Security Chris Clifton
Verification Formal Verification & Formal Evaluation Derived from Purdue: Cerias.
Verification
IS 2620: Developing Secure Systems