Outline for April 10, 2006

Reading: text, §3.4

  1. Greetings and felicitations!
  2. Schematic Protection Model
    1. Flow functions, maximal state
    2. Safety analysis
Version of April 10, 2006 at 9:52 PM
You can also obtain a PDF version of this.