Outline for February 28, 2007

1. Greetings and Felicitations!
2. Nondeducibility
   1. Event system
   2. Deducibly secure
   3. Composing deducibly secure systems
3. Generalized noninterference
   1. Assumptions and nondeducibility
   2. Composing generalized noninterference systems
   3. Feedback-free systems
4. Restrictiveness
   1. State machine model
   2. Composing restrictive systems