Outline for June 8, 2000

1. Greetings and felicitations!
2. Specification Detection
   1. Property-Based Testing (introduce specifications here)
   2. Example
   3. Cautions and problems
   4. Defeating it
3. Toss in a network
   1. NSM
   2. DIDS
   3. GrIDS
4. Coda
   1. Privacy
   2. Learning from mistakes