Outline for January 22, 2007

1. Greetings and Felicitations!
2. Schematic Protection Model
   1. Safety analysis
3. Expressive power
   1. HRU vs. SPM
   2. Multiparent joint creates in HRU
   3. Adding multiparent joint creates to SPM (giving ESPM)