Athena: a novel approach to efficient automatic security protocol analysis (2001)
by
Dawn Song
,
Sergey Berezin
,
Adrian Perrig
| Venue: | Journal of Computer Security |
| Citations: | 59 - 3 self |
BibTeX
@ARTICLE{Song01athena:a,
author = {Dawn Song and Sergey Berezin and Adrian Perrig},
title = {Athena: a novel approach to efficient automatic security protocol analysis},
journal = {Journal of Computer Security},
year = {2001},
volume = {9},
pages = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
protocol analysis
