Outline for January 25, 2016

Reading: text, §5 (except 5.2.3–5.2.4), 6.1
Assignments: Homework 1, due January 25

  1. Goals of confidentiality policies
  2. Bell-LaPadula Model with levels only
    1. Security levels
    2. Simple security property
    3. *-property
    4. Discretionary security property
  3. Full Bell-LaPadula Model
    1. Add in compartments
    2. $dom$ relation
    3. BLP as lattice structure
    4. Simple security property
    5. *-Property
    6. Discretionary security property
  4. Tranquility
    1. Strong tranquility
    2. Weak tranquility
    3. Declassification problem
  5. Requirements of integrity models
You can also obtain a PDF version of this. Version of January 24, 2016 at 11:22PM