doc-src/manual.bib
changeset 11268 a8b8d59899fd
parent 11246 64d0bcccb03a
child 11564 7b87c95fdf3b
     1.1 --- a/doc-src/manual.bib	Tue Apr 24 17:54:49 2001 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Apr 24 17:55:06 2001 +0200
     1.3 @@ -917,7 +917,7 @@
     1.4    volume	= 2,
     1.5    number        = 3,
     1.6    pages		= {332-351}}
     1.7 -
     1.8 +
@Article{paulson-yahalom,
  author = 	 {Lawrence C. Paulson},
  title = 	 {Relations Between Secrets:
                  Two Formal Analyses of the {Yahalom} Protocol},
  journal = 	 JCS,
  note =	 {in press}}
     1.9  
    1.10  @article{pelletier86,
    1.11    author	= {F. J. Pelletier},