%0 Journal Article %1 journals/jacm/AbadiB05 %A Abadi, Martín %A Blanchet, Bruno %D 2005 %J J. ACM %K dblp %N 1 %P 102-146 %T Analyzing security protocols with secrecy types and logic programs. %U http://dblp.uni-trier.de/db/journals/jacm/jacm52.html#AbadiB05 %V 52

@article{journals/jacm/AbadiB05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Abadi, Martín and Blanchet, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2962b3a959317a74e43b0c8b39b7f14f1/dblp}, ee = {https://doi.org/10.1145/1044731.1044735}, interhash = {0f57b38ad9d4ef501ed622317f30129d}, intrahash = {962b3a959317a74e43b0c8b39b7f14f1}, journal = {J. ACM}, keywords = {dblp}, number = 1, pages = {102-146}, timestamp = {2018-11-07T12:10:21.000+0100}, title = {Analyzing security protocols with secrecy types and logic programs.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm52.html#AbadiB05}, volume = 52, year = 2005 }