January 21, 2014 Outline

Reading: text, § 3.5
Assignments due: Project Selection, due January 21, 2014; Homework #1, due January 23, 2014


  1. Safety analysis (con’t)
    1. 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

You can also obtain a PDF version of this. Version of January 21, 2014 at 10:07AM