Outline for November 17, 2003

Reading: Chapters 16.4-16.5, 18.1

Outline for the Day

1. Compiler-Based Mechanisms (con't)
   1. Goto statements
   2. Procedure calls
   3. Exceptions, infinite loops
2. Execution-Based Mechanisms
   1. Implicit flows
   2. Fenton's Data Mark Machine
   3. Example: SPI
   4. Example: Secure Network Server Mail Guard