Outline for April 15, 2013

Reading: §3.4–3.5
Due: Project selection, due April 15, 2013
         Homework #2, due April 26, 2013

1. Safety analysis
   1. Definitions
   2. path^h predicate
   3. Capacity flow function
   4. Maximal state: definition, existence, derivability
2. Acyclic attenuating schemes and decidability
3. Expressive power
   1. SPM and HRU
   2. ESPM and multiparent create
   3. Simulation and expressiveness