\begin{thebibliography}{10}

\bibitem{Dietrich97}
S.~Dietrich.
\newblock {\em A Formal Analysis of the Secure Sockets Layer Protocol}.
\newblock PhD thesis, Dept. Mathematics and Computer Science, Adelphi
  University, April 1997.

\bibitem{Dil96}
D.~L. Dill.
\newblock The {\murphi} verification system.
\newblock In {\em Computer Aided Verification. 8th International Conference},
  pages 390--3, 1996.

\bibitem{Dil93}
D.~L. Dill, S.~Park, and A.~G. Nowatzyk.
\newblock Formal specification of abstract memory models.
\newblock In {\em Symposium on Research on Integrated Systems}, pages 38--52,
  1993.

\bibitem{eCash}
{\tt http://www.digicash.com/ecash/ecash-home.html}.

\bibitem{SSL}
A.~O. Freier, P.~Karlton, and P.~C. Kocher.
\newblock The {SSL} protocol version 3.0. {\tt
  draft-ietf-tls-ssl-version3-00.txt}, November 18, 1996.

\bibitem{Ip96b}
C.~N. Ip.
\newblock {\em State Reduction Methods for Automatic Formal Verification}.
\newblock PhD thesis, Stanford University, 1996.

\bibitem{Lowe96}
G.~Lowe.
\newblock Breaking and fixing the {N}eedham-{S}chroeder public-key protocol
  using {CSP} and {FDR}.
\newblock In {\em 2nd International Workshop on Tools and Algorithms for the
  Construction and Analysis of Systems}. Springer-Verlag, 1996.

\bibitem{MMS97}
J.~C. Mitchell, M.~Mitchell, and U.~Stern.
\newblock Automated analysis of cryptographic protocols using {Mur$\varphi$}.
\newblock In {\em IEEE Symposium on Security and Privacy}, pages 141--51, 1997.

\bibitem{Schneider96}
S.~Schneider.
\newblock Security properties and {CSP}.
\newblock In {\em IEEE Symp. Security and Privacy}, 1996.

\bibitem{Ste97b}
U.~Stern.
\newblock {\em Algorithmic Techniques in Verification by Explicit State
  Enumeration}.
\newblock PhD thesis, Technical University of Munich, 1997.

\bibitem{Ste95a}
U.~Stern and D.~L. Dill.
\newblock Automatic verification of the {SCI} cache coherence protocol.
\newblock In {\em Advanced Research Working Conference on Correct Hardware
  Design and Verification Methods}, pages 21--34, 1995.

\bibitem{Yan95}
L.~Yang, D.~Gao, J.~Mostoufi, R.~Joshi, and P.~Loewenstein.
\newblock System design methodology of {UltraSPARC$^{\mbox{{\tiny TM}}}$-I}.
\newblock In {\em 32nd Design Automation Conference}, pages 7--12, 1995.

\end{thebibliography}
