Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O Shea. An advisor for web services security policies. 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 1-9, ACM, 2005. [doi]
Abstract is missing.