%0 Journal Article %1 journals/joc/Simmons94 %A Simmons, Gustavus J. %D 1994 %J J. Cryptology %K dblp %N 2 %P 69-77 %T Proof of Soundness (Integrity) of Cryptographic Protocols. %U http://dblp.uni-trier.de/db/journals/joc/joc7.html#Simmons94 %V 7

@article{journals/joc/Simmons94, added-at = {2011-05-24T00:00:00.000+0200}, author = {Simmons, Gustavus J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25fc24c687a2bfe194d39abf8cfa151de/dblp}, ee = {http://dx.doi.org/10.1007/BF00197941}, interhash = {7cce99ebd7a9a32930ea698906b74431}, intrahash = {5fc24c687a2bfe194d39abf8cfa151de}, journal = {J. Cryptology}, keywords = {dblp}, number = 2, pages = {69-77}, timestamp = {2016-02-02T01:14:55.000+0100}, title = {Proof of Soundness (Integrity) of Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/journals/joc/joc7.html#Simmons94}, volume = 7, year = 1994 }