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 + 1.9 @Article{paulson-yahalom, 1.10 author = {Lawrence C. Paulson}, 1.11 title = {Relations Between Secrets: 1.12 Two Formal Analyses of the {Yahalom} Protocol}, 1.13 journal = JCS, 1.14 note = {in press}} 1.15 1.16 @article{pelletier86, 1.17 author = {F. J. Pelletier},