April 12, 2017 Outline

Reading: Chapters from revised text, §3.5, 4; [Bi96, Z+05]

  1. Expressive power
    1. SPM and HRU
    2. ESPM and multiparent create
    3. Simulation and expressiveness
  2. Policy and models
You can also obtain a PDF version of this. Version of April 12, 2017 at 12:51PM