equal
deleted
inserted
replaced
916 year = 1999, |
916 year = 1999, |
917 volume = 2, |
917 volume = 2, |
918 number = 3, |
918 number = 3, |
919 pages = {332-351}} |
919 pages = {332-351}} |
920 |
920 |
|
921 @Article{paulson-yahalom, |
|
922 author = {Lawrence C. Paulson}, |
|
923 title = {Relations Between Secrets: |
|
924 Two Formal Analyses of the {Yahalom} Protocol}, |
|
925 journal = JCS, |
|
926 note = {in press}} |
921 |
927 |
922 @article{pelletier86, |
928 @article{pelletier86, |
923 author = {F. J. Pelletier}, |
929 author = {F. J. Pelletier}, |
924 title = {Seventy-five Problems for Testing Automatic Theorem |
930 title = {Seventy-five Problems for Testing Automatic Theorem |
925 Provers}, |
931 Provers}, |