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