Outline for April 28, 2006

Reading: text, §8.1—8.2

1. Greetings and felicitations!
2. Problem with instantiation of Bell-LaPadula Model
   1. Covert channel example: what is “writing”?
   2. Composition of lattices
   3. Principles of autonomy and security
   4. Give example
3. Deterministic noninterference
   1. Model of system
   2. Example
   3. Relationship of output to states
   4. Projections and purge functions
   5. Example
   6. Noninterference
4. Alternative definition of security policy
   1. Output-consistent
   2. Security policy
   3. Alternate projection function
   4. Noninterference-secure with respect to the policy r
5. Unwinding Theorem
   1. Locally respects
   2. Transition-consistent