June 5, 2017 Outline

Reading: text, §8
Due: Homework #4, June 7; Final project, June 7

1. Overview of policy composition
2. Deterministic noninterference
   1. Model of system
   2. Example
   3. Relationship of output to states
   4. Projections and purge functions
3. Alternative definition of security policy
   1. Output-consistent
   2. Security policy
   3. Alternate projection function
   4. Noninterference-secure with respect to the policy r
4. Unwinding Theorem
   1. Locally respects
   2. Transition-consistent
   3. Unwinding theorem
5. Access Control Matrix interpretation
   1. Model
   2. ACM conditions
   3. Policy conditions
   4. Result