Outline for October 25, 2006

Reading: §5.2

  1. Greetings and felicitations!
    1. Puzzle of the day
  2. Bell-LaPadula Model with Levels Only
    1. Security Levels
    2. Simple Security Property
    3. *-Property
    4. Basic Security Theorem
  3. Bell-LaPadula Model
    1. Compartments
    2. BLP as lattice structure
    3. Simple Security Property
    4. *-Property
    5. Basic Security Theorem
You can also obtain a PDF version of this. Version of October 26, 2006 at 9:46 PM