February 23, 2024 Outline

Reading: text, §9.2.2–9.5.1
Due: Homework #4, due March 5, Extra Credit #D, due February 23

Module 37 (Access Control Matrix, Revisited)

1. Access Control Matrix interpretation
   1. Model
   2. ACM conditions
   3. Policy conditions
   4. Result

Module 38 (Generalized Noninterference)

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

Module 39 (Policy Composition)

3. Policy composition

Module 40 (Nondeducibility)

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

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

Module 41 (Restrictiveness)

6. 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 February 23, 2024 at 1:49PM

You can also obtain a PDF version of this.