Outline for April 12, 2013

Reading: text, § 3.4
Due: Homework #1, due April 12, 2013

  1. Schematic Protection Model
    1. Protection type, ticket, function, link predicate, filter function
    2. Take-Grant as an instance of SPM
    3. Create rules and attenuation
  2. Safety analysis
    1. Definitions
    2. pathh predicate
    3. Capacity flow function
    4. Maximal state: definition, existence, derivability
  3. Acyclic attenuating schemes and decidability
  4. Expressive power
    1. SPM and HRU
    2. ESPM and multiparent create
    3. Simulation and expressiveness

You can also obtain a PDF version of this. Version of April 12, 2013 at 6:01AM