Thomas Groß, Birgit Pfitzmann. Proving a WS-Federation passive requestor profile. In Vijay Atluri, editor, Proceedings of the 1st ACM Workshop On Secure Web Services, SWS 2004, Fairfax, VA, USA, October 29, 2004. pages 77-86, ACM, 2004. [doi]
Abstract is missing.