February 28, 2023 Outline

Reading: text, §20.3–20.4, C, 17.1
Assignments: Homework #4, due March 14

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

2. Justifying design meets requirements
   1. Reviews

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

4. Operation and Maintenance Assurance

5. Entropy

6. Entropy-based analysis
   1. Flow of information from x to y
   2. Implicit flow of information

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 March 10, 2023 at 1:31PM

You can also obtain a PDF version of this.