@article{, author = {Backes, Michael and Pfitzmann, Birgit}, title = {Limits of the Cryptographic Realization of Dolev-Yao Style XOR}, journal = {International Journal of Information Security (IJIS)}, year = {2006}, publisher = {Springer} }