@misc{cryptoeprint:2003:145, author = {Michael Backes and Birgit Pfitzmann and Michael Waidner}, title = {Symmetric Authentication Within a Simulatable Cryptographic Library}, howpublished = {Cryptology ePrint Archive, Report 2003/145}, year = {2003}, url = {http://eprint.iacr.org/2003/145}, }