Outline for January 23, 2012

Reading: §3.4

  1. Safety analysis
    1. Definitions
    2. pathh predicate
    3. Capacity flow function
    4. Maximal state: definition, existence, derivability
  2. Acyclic attenuating schemes and decidability

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