Outline for January 19, 2007

1. Greetings and Felicitations!
2. Schematic Protection Model
   1. Model components
   2. Link function
   3. Filter function
   4. Example: Take-Grant as an instance of SPM
   5. Create operations and attenuation
   6. Flow functions, maximal state
   7. Safety analysis