Outline for February 6, 2012

Reading: §5.2.3, 5.3, 5.4

  1. Using the model
    1. Define ssc-preserving, *-property-preserving, ds-property-preserving
    2. Define relation W(ω)
    3. Show conditions under which rules are ssc-preserving, *-property-preserving, ds-property-preserving
    4. Show when adding a state preserves those properties
    5. Example instantiation: get-read for Multics
  2. Tranquility
    1. Strong tranquility
    2. Weak tranquility
  3. System Z and the controversy

A PDF version is available here.
UC Davis sigil
ECS 235B, Foundations of Computer and Information Security
Winter Quarter 2012