Outline for May 3, 2006

Reading: text, §8.2.3—8.4

1. Greetings and felicitations!
2. Policies that change over time
   1. Generalization of noninterference
   2. Example
3. Composing deterministic, noninterference-secure systems
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
   3. Feedback-free systems