Michael Backes, Thomas Groß. Tailoring the Dolev-Yao abstraction to web services realities. In Ernesto Damiani, Hiroshi Maruyama, editors, Proceedings of the 2nd ACM Workshop On Secure Web Services, SWS 2005, Fairfax, VA, USA, November 11, 2005. pages 65-74, ACM, 2005. [doi]
Abstract is missing.