February 16, 2023 Outline

Reading: text, §9, 19
Assignments: Homework #3, due February 23

1. Restrictiveness
   1. Feedback-free systems
   2. State machine model
   3. Composing restrictive systems

2. Side channels

3. Assurance
   1. Trustworthy entities
   2. Security assurance
   3. Trusted system
   4. Why assurance is needed
   5. Requirements
   6. Assurance and software life cycle
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 14, 2023 at 7:40PM

You can also obtain a PDF version of this.