1.1 --- a/doc-src/manual.bib Mon Apr 09 14:49:51 2001 +0200
1.2 +++ b/doc-src/manual.bib Tue Apr 10 15:58:50 2001 +0200
1.3 @@ -27,7 +27,9 @@
1.4 @string{JLP="Journal of Logic Programming"}
1.5 @string{JSC="Journal of Symbolic Computation"}
1.6 @string{JSL="Journal of Symbolic Logic"}
1.7 +@string{PROYAL="Proceedings of the Royal Society of London"}
1.8 @string{SIGPLAN="{SIGPLAN} Notices"}
1.9 +@string{TISSEC="ACM Transactions on Information and System Security"}
1.10
1.11 %conferences
1.12 @string{CADE="International Conference on Automated Deduction"}
1.13 @@ -181,6 +183,14 @@
1.14 pages = {381-392},
1.15 year = 1972}
1.16
1.17 +@Article{ban89,
1.18 + author = {M. Burrows and M. Abadi and R. M. Needham},
1.19 + title = {A Logic of Authentication},
1.20 + journal = PROYAL,
1.21 + year = 1989,
1.22 + volume = 426,
1.23 + pages = {233-271}}
1.24 +
1.25 %C
1.26
1.27 @TechReport{camilleri92,
1.28 @@ -485,6 +495,21 @@
1.29 publisher = NH,
1.30 year = 1980}
1.31
1.32 +%L
1.33 +
1.34 +@InProceedings{lowe-fdr,
1.35 + author = {Gavin Lowe},
1.36 + title = {Breaking and Fixing the {Needham}-{Schroeder} Public-Key
1.37 + Protocol using {CSP} and {FDR}},
1.38 + booktitle = {Tools and Algorithms for the Construction and Analysis
1.39 + of Systems: second international workshop, TACAS '96},
1.40 + editor = {T. Margaria and B. Steffen},
1.41 + series = {LNCS 1055},
1.42 + year = 1996,
1.43 + publisher = {Springer},
1.44 + pages = {147-166}}
1.45 +
1.46 +
1.47 %M
1.48
1.49 @Article{mw81,
1.50 @@ -592,6 +617,17 @@
1.51 pages = {331-345},
1.52 year = 1996}
1.53
1.54 +@Article{needham-schroeder,
1.55 + author = "Roger M. Needham and Michael D. Schroeder",
1.56 + title = "Using Encryption for Authentication in Large Networks
1.57 + of Computers",
1.58 + journal = cacm,
1.59 + volume = 21,
1.60 + number = 12,
1.61 + pages = "993-999",
1.62 + month = dec,
1.63 + year = 1978}
1.64 +
1.65 @inproceedings{nipkow-W,
1.66 author = {Wolfgang Naraschewski and Tobias Nipkow},
1.67 title = {Type Inference Verified: Algorithm {W} in {Isabelle/HOL}},
1.68 @@ -872,6 +908,17 @@
1.69 volume = 6,
1.70 pages = {85-128}}
1.71
1.72 +@Article{paulson-tls,
1.73 + author = {Lawrence C. Paulson},
1.74 + title = {Inductive Analysis of the {Internet} Protocol {TLS}},
1.75 + journal = TISSEC,
1.76 + month = aug,
1.77 + year = 1999,
1.78 + volume = 2,
1.79 + number = 3,
1.80 + pages = {332-351}}
1.81 +
1.82 +
1.83 @article{pelletier86,
1.84 author = {F. J. Pelletier},
1.85 title = {Seventy-five Problems for Testing Automatic Theorem