March 1, 2024 Outline

Reading: text, §20.2–20.4
Due: Homework #4, due March 5; Extra Credit #E, due March 4

Module 45 (Design Assurance Techniques)

1. Design documents
   1. Security functions summary specification
   2. External functional specification
   3. Internal design description

2. Justifying design meets requirements
   1. Reviews

Module 46 (Implementation Assurance Techniques)

3. Techniques to support implementation assurance
   1. Implementation considerations
   2. Implementation management
   3. Testing

4. Operation and Maintenance Assurance

Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu

ECS 235B, Foundations of Computer and Information Security Version of February 28, 2024 at 1:41PM

You can also obtain a PDF version of this.