February 18, 2022 Outline

Reading: text, §9.3–9.6, C
Assignments: Homework 3, due February 18

Module 45

1. Nondeducibility
   1. Event system
   2. Deducibly secure
   3. Composing deducibly secure systems

2. Generalized noninterference
   1. Assumptions and nondeducibility
   2. Composing generalized noninterference systems

Module 46

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

Module 47

4. Side channels

Module 48

5. Entropy

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 23, 2022 at 10:31AM

You can also obtain a PDF version of this.