Outline for February 1, 2002

Reading: §4.5, §5.1-5.3 (not including §5.2.3, 5.3.1)

  1. Greetings and Felicitations!
  2. Puzzle of the day
  3. High-Level Policy Languages
    1. Characterization
    2. Example: DTEL
  4. Goals of Confidentiality Policies
  5. Bell-LaPadula Model with Levels Only
    1. Security Levels
    2. Simple Security Property
    3. *-Property
    4. Basic Security Theorem
  6. Bell-LaPadula Model
    1. Compartments
    2. BLP as lattice structure
    3. Simple Security Property
    4. *-Property
    5. Basic Security Theorem
  7. DG/UX B2 UNIX System
    1. Hierarchy of levels
    2. Labels, explicit and implicit
    3. MAC tuples
ECS 153, Introduction to Computer Security
Winter Quarter 2002
Email: cs153@cs.ucdavis.edu