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]
No references recorded for this publication.
No citations of this publication recorded.