@inproceedings{backes05tailoring,
  author       = {Backes, Michael and Gross, Thomas},
  title        = {Tailoring the Dolev-Yao Abstraction to Web Services Realities - A Comprehensive Wish List},
  booktitle    = {Proceedings of 2005 ACM Secure Web Services Workshop (SWS)},
  month        = {November},
  year         = {2005},
  pages        = {65-74}
}