Outline for January 25, 2012

Reading: §3.5

  1. Expressive power
    1. SPM and HRU
    2. ESPM and multiparent create
    3. Simulation and expressiveness
A PDF version is available here.
UC Davis sigil
ECS 235B, Foundations of Computer and Information Security
Winter Quarter 2012