[These are the presented papers. There was no published proceedings]

   o Justifying Finite Resources for Adversaries in Automated Analysis of
     Authentication Protocols.
     S. Stoller
   o Using the NRL Protocol Analyzer to Examine Protocol Suites.
     C. Meadows
   o A Machine Checkable Logic of Knowledge for Specifying Security
     Properties of Electronic Protocols.
     E. Clarke, W. Marrero and S. Jha
   o ActiveSPEC: A Framework for the Specification and Verification of Active
     Network Services and Security Policies.
     D. Dieckman, P. Alexander and P. Wilsey
   o Specification and Analysis of Mobile IP Using ASTRAL.
     Z. Dang and R. Kemmerer
   o Protocol Specification and Analysis in Maude.
     G. Denker and J. Meseguer
   o Relating Two Models of Computation for Security Protocols.
     P. Syverson
   o Strand Space Pictures.
     F. Javier Thayer Fabrega, J. Herzog and J. Guttman