Outline for May 29, 2013

1. Techniques to support design assurance
   1. Subsystem, subcomponent, module
2. Design documents
   1. Security functions summary specification
   2. External functional specification
   3. Internal design description
3. Justifying design meets requirements
4. Evaluating systems
   1. Trusted Computer Security Evaluation Criteria (TCSEC. Orange Book)
   2. FIPS 140
   3. Common Criteria (CC)
   4. System Security Engineering Capability Maturity Model (SSE-CMM)