Outline for February 21, 2007

  1. Greetings and Felicitations!
  2. Deterministic noninterference
    1. Model of system
    2. Example
    3. Relationship of output to states
    4. Projections and purge functions
    5. Example
    6. Noninterference
  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


Here is a PDF version of this document.