Outline for May 5, 2006

Reading: text, §8.5, 16.1—16.2

  1. Greetings and felicitations!
    1. No class on Monday
    2. Homework 1 answers and grades on MyUCDavis
  2. Restrictiveness
    1. State machine model
    2. Composing restrictive systems
  3. Information flow
    1. Information flow policy, confidentiality policy, integrity policy
    2. Example
  4. Entropy
    1. Random variables
    2. Joint probability
    3. Conditional probability
    4. Entropy (or uncertainty in bits)
    5. Joint entropy
    6. Conditional entropy
  5. Entropy-based analysis
    1. Flow of information from x to y
    2. Implicit flow of information
  6. Nonlattice policies
    1. Transitivity
    2. Information flow policy
Version of May 5, 2006 at 9:20 PM
You can also obtain a PDF version of this.