DIMACS Workshop on Design and Formal Verification of Security Protocols
September 3-5, 1997
DIMACS Center, CoRE Building, Rutgers University
Hilarie Orman and Catherine Meadows
The URL for this workshop has changed. Please use
http://dimacs.rutgers.edu/archive/Workshops/Security
Contacting the Center
Document last modified on April 13, 1998.