Outline for May 3, 2006
Reading: text, §8.2.3—8.4
- Greetings and felicitations!
- Policies that change over time
- Generalization of noninterference
- Composing deterministic, noninterference-secure systems
- Event system
- Deducibly secure
- Composing deducibly secure systems
- Generalized noninterference
- Assumptions and nondeducibility
- Composing generalized noninterference systems
- Feedback-free systems
Version of May 4, 2006 at 4:45 PM
You can also obtain a PDF version of this.