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