Outline for March 7, 2007

1. Greetings and Felicitations!
2. Compiler-based flow mechanisms (con't)
   1. Exceptions and infinite loops
   2. Semaphores
   3. Cobegin/coend
   4. Soundness
3. Execution-based flow mechanisms
   1. Fenton's Data Mark Machine
   2. Variable classes
4. Examples
   1. Security pipeline interface
   2. Secure network server mail guard