%0 Journal Article %1 journals/jsac/BackesP04 %A Backes, Michael %A Pfitzmann, Birgit %D 2004 %J IEEE J. Sel. Areas Commun. %K %N 10 %P 2075-2086 %T A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. %U http://dblp.uni-trier.de/db/journals/jsac/jsac22.html#BackesP04 %V 22

@article{journals/jsac/BackesP04, added-at = {2023-12-13T03:38:03.000+0100}, author = {Backes, Michael and Pfitzmann, Birgit}, biburl = {https://www.bibsonomy.org/bibtex/29f7ddd019366e0dcb9e033f1a279c232/admin}, ee = {https://doi.org/10.1109/JSAC.2004.836016}, interhash = {8d5d0bad71368a857da3cae5591b7200}, intrahash = {9f7ddd019366e0dcb9e033f1a279c232}, journal = {IEEE J. Sel. Areas Commun.}, keywords = {}, number = 10, pages = {2075-2086}, timestamp = {2023-12-13T03:38:03.000+0100}, title = {A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol.}, url = {http://dblp.uni-trier.de/db/journals/jsac/jsac22.html#BackesP04}, volume = 22, year = 2004 }