@inproceedings{backes06symbolic,
  author       = {Backes, Michael and Moedersheim, Sebastian and Pfitzmann, Birgit and Vigano, Luca},
  title        = {Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario},
  booktitle    = {Proceedings of Foundations of Software Science and Computational Structures (FOSSACS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3921},
  month        = {March},
  year         = {2006},
  publisher    = {Springer},
  pages        = {428-445}
}