%0 Journal Article %1 journals/jcs/SongBP01 %A Song, Dawn Xiaodong %A Berezin, Sergey %A Perrig, Adrian %D 2001 %J J. Comput. Secur. %K dblp %N 1/2 %P 47-74 %T Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis. %U http://dblp.uni-trier.de/db/journals/jcs/jcs9.html#SongBP01 %V 9

@article{journals/jcs/SongBP01, added-at = {2023-08-28T00:00:00.000+0200}, author = {Song, Dawn Xiaodong and Berezin, Sergey and Perrig, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/28940cffdbc46f1332352437fbcdbe351/dblp}, ee = {https://www.wikidata.org/entity/Q114944290}, interhash = {8f7b004b767063952024b1a040d93427}, intrahash = {8940cffdbc46f1332352437fbcdbe351}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = {1/2}, pages = {47-74}, timestamp = {2024-04-09T05:17:32.000+0200}, title = {Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs9.html#SongBP01}, volume = 9, year = 2001 }