%0 Journal Article %1 journals/tse/AbadiN96 %A Abadi, Martín %A Needham, Roger M. %D 1996 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 6-15 %T Prudent Engineering Practice for Cryptographic Protocols. %U http://dblp.uni-trier.de/db/journals/tse/tse22.html#AbadiN96 %V 22

@article{journals/tse/AbadiN96, added-at = {2015-12-10T00:00:00.000+0100}, author = {Abadi, Martín and Needham, Roger M.}, biburl = {https://www.bibsonomy.org/bibtex/2b1b47edf69204fda466728c2d82664ce/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.481513}, interhash = {a04645e83dc3663621cd16f658bdd34f}, intrahash = {b1b47edf69204fda466728c2d82664ce}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {6-15}, timestamp = {2015-12-12T11:53:35.000+0100}, title = {Prudent Engineering Practice for Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse22.html#AbadiN96}, volume = 22, year = 1996 }