Outline for May 1, 2006

Reading: text, §8.2

1. Greetings and felicitations!
2. Unwinding Theorem
   1. Locally respects
   2. Transition-consistent
   3. Unwinding theorem
3. Access Control Matrix interpretation
   1. Model
   2. ACM conditions
   3. Policy conditions
   4. Result
4. Policies that change over time
   1. Generalization of noninterference
   2. Example