Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig. Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. Journal of Computer Security, 9(1/2):47-74, 2001.
@article{SongBP01,
title = {Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis},
author = {Dawn Xiaodong Song and Sergey Berezin and Adrian Perrig},
year = {2001},
tags = {protocol, analysis, security, systematic-approach},
researchr = {https://researchr.org/publication/SongBP01},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {9},
number = {1/2},
pages = {47-74},
}