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