May 7, 2025 Outline

Reading: text, §9.2.3–9.5
Assignments: Project progress report, due May 7; Homework #3, due May 14

Module 38 (Reading: §9.2.3)

1. Policies that change over time
   1. Generalization of noninterference

Module 39 (Reading: §9.2.4)

2. Policy composition

Module 40 (Reading: §9.3–9.4)

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

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

Module 41 (Reading: §9.5)

5. Restrictiveness
   1. Feedback-free systems

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 May 6, 2025 at 8:36PM

You can also obtain a PDF version of this.