# HG changeset patch
# User paulson
# Date 988127706 -7200
# Node ID a8b8d59899fd896218d188b9545ba7b162b00c16
# Parent  f9506f60aa7be50da3470ca325c8d1ffc2da3341
new reference: Yahalom

diff -r f9506f60aa7b -r a8b8d59899fd doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Apr 24 17:54:49 2001 +0200
+++ b/doc-src/manual.bib	Tue Apr 24 17:55:06 2001 +0200
@@ -917,7 +917,7 @@
   volume	= 2,
   number        = 3,
   pages		= {332-351}}
-
+
@Article{paulson-yahalom,
  author = 	 {Lawrence C. Paulson},
  title = 	 {Relations Between Secrets:
                  Two Formal Analyses of the {Yahalom} Protocol},
  journal = 	 JCS,
  note =	 {in press}}
 
 @article{pelletier86,
   author	= {F. J. Pelletier},