February 26, 2024 Outline

Reading: text, §9.5–9.6, 19
Due: Homework #4, due March 5; Extra Credit #E, due March 4

Module 41 (Restrictiveness)

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

Module 42 (Side Channels)

2. Side channels
   1. Passive attacks
   2. Active attacks

Module 43 (Introduction to Assurance)

3. Assurance
   1. Trustworthy entities
   2. Security assurance
   3. Trusted system
   4. Why assurance is needed
   5. Requirements
   6. Assurance and software life cycle

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 26, 2024 at 10:56AM

You can also obtain a PDF version of this.