February 22, 2021 Outline

Reading: text: , §9.2.4–9.5
Due: Homework #4, due March 5

Module 37

1. Policies that change over time
   1. Example

2. Composing deterministic, noninterference-secure systems

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
   3. Feedback-free systems

5. Restrictiveness
   1. State machine model
   2. Composing restrictive 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, 2021 at 9:36AM

You can also obtain a PDF version of this.