author | paulson |
Tue, 24 Apr 2001 17:55:06 +0200 | |
changeset 11268 | a8b8d59899fd |
parent 11267 | f9506f60aa7b |
child 11269 | 4095353bd0d7 |
--- 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},