Outline for May 1, 2006
Reading: text, §8.2
- Greetings and felicitations!
- Unwinding Theorem
- Locally respects
- Unwinding theorem
- Access Control Matrix interpretation
- ACM conditions
- Policy conditions
- Policies that change over time
- Generalization of noninterference
Version of May 1, 2006 at 10:30 AM
You can also obtain a PDF version of this.