Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon. Secure sessions for web services. In Vijay Atluri, editor, Proceedings of the 1st ACM Workshop On Secure Web Services, SWS 2004, Fairfax, VA, USA, October 29, 2004. pages 56-66, ACM, 2004. [doi]
Abstract is missing.