## The Logic of Authentication Protocols (2001)

### Cached

### Download Links

- [chacs.nrl.navy.mil]
- [www.cs.stanford.edu]
- [www.nrl.navy.mil]
- [theory.stanford.edu]
- [chacs.nrl.navy.mil]
- [www.qatar.cmu.edu]
- DBLP

### Other Repositories/Bibliography

by
Paul Syverson
,
Iliano Cervesato

Venue: | Foundations of Security Analysis and Design, LNCS 2171 |

Citations: | 29 - 0 self |

### BibTeX

@INPROCEEDINGS{Syverson01thelogic,

author = {Paul Syverson and Iliano Cervesato},

title = {The Logic of Authentication Protocols},

booktitle = {Foundations of Security Analysis and Design, LNCS 2171},

year = {2001},

pages = {63--136},

publisher = {Springer-Verlag}

}

### Years of Citing Articles

### OpenURL

### Abstract

This paper is based on a course Syverson taught at the 1st International School on Foundations of Security Analysis and Design (FOSAD'00) in Bertinoro, Italy in September 2000. Cervesato was a student there. The work of the first author was supported by ONR. The work of the second author was supported by NSF grant INT98-15731 "Logical Methods for Formal Verification of Software" and by NRL under contract N00173-00-C-2086