**Reading:** *text*, §8

**Due: ** Homework #4, June 7; Final project, June 7

- Overview of policy composition
- Deterministic noninterference
- Model of system
- Example
- Relationship of output to states
- Projections and purge functions

- Alternative definition of security policy
- Output-consistent
- Security policy
- Alternate projection function
- Noninterference-secure with respect to the policy
*r*

- Unwinding Theorem
- Locally respects
- Transition-consistent
- Unwinding theorem

- Access Control Matrix interpretation
- Model
- ACM conditions
- Policy conditions
- Result

You can also obtain a PDF version of this. | Version of June 6, 2017 at 11:19PM |