@inproceedings{Kuesters-CONCUR-2002,
  author = {R.~K{\"u}sters},
  title = {{On the Decidability of Cryptographic Protocols with Open-ended Data Structures}},
  booktitle = {13th International Conference on Concurrency Theory (CONCUR 2002)},
  year = 2002,
  pages = {515--530},
  publisher = {Springer-Verlag},
  editor = {L.~Brim and P.~Jancar and M.~Kretinsky and A.~Kucera},
  series = {Lecture Notes in Computer Science},
  volume = {2421},
}