Outline for February 13, 2006

Reading: text, §5.1–5.2.2, 5.3, 6.1–6.2

  1. Greetings and felicitations!
    1. Puzzle of the day
  2. Bell-LaPadula Model
    1. Compartments
    2. BLP as lattice structure
    3. Simple Security Property
    4. *-Property
    5. Basic Security Theorem
  3. DG/UX Implementation of the Model
    1. MAC labels
      1. Regions
      2. Multilevel directories
    2. MAC ranges
  4. Tranquility
    1. Declassification problem
    2. Strong tranquility
    3. Weak tranquility
  5. Biba Model
    1. Low-water-mark policy
    2. Ring policy
    3. Strict integrity
Version of February 12, 2006 at 6:27 PM
You can also obtain a PDF version of this.