Slides from the CMU 2002 Workshop on States Security