January 31, 2022 Outline

Reading: text, §20.2.2–20.3
Assignments: Homework #2, due February 4

Module 25

1. Design documents
   1. Security functions summary specification
   2. External functional specification
   3. Internal design description
2. Justifying design meets requirements
   1. Reviews

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 January 31, 2022 at 11:23PM

You can also obtain a PDF version of this.